Work

Precise Dynamic Verification of Confidentiality

Year: 2008

Type: article

Author: Gurvan Le Guernic

Institution: Institut national de recherche en sciences et technologies du numérique

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2177229918

FWCI:

Cites: 18

Cited by: 12

Related to: 10