Verification of control flow based security properties

Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy

Volumn , Issue , 1999, Pages 89-103

  Jensen, T ^a   Le Metayer, D ^a   Thorn, T ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; FORMAL LOGIC; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

CONTROL FLOW VERIFICATION; GLOBAL SECURITY PROPERTY; RUN-TIME SECURITY CHECKS; TEMPORAL LOGIC;

SECURITY OF DATA;

EID: 0032667088     PISSN: 10637109     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (33)