Secure information flow in a multi-threaded imperative language

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1998, Pages 355-364

  Smith, Geoffrey ^a   Volpano, Dennis ^a  

^a FLORIDA INTERNATIONAL UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INFORMATION THEORY; RESPONSE TIME (COMPUTER SYSTEMS); SECURITY OF DATA; SUBROUTINES;

MULTI THREADED IMPERATIVE LANGUAGES; SECURE INFORMATION FLOW;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0031648455     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/268946.268975     Document Type: Conference Paper

References (28)