A new type system for secure information flow

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 2001, Pages 115-125

  Smith, G ^a  

^a Florida International University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; DATA FLOW ANALYSIS; PROBABILISTIC LOGICS;

PROBABILISTIC SCHEDULING;

SECURITY OF DATA;

EID: 0034835461     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Transforming out timing leaks
2. Certification of programs for secure information flow
3. Secure information flow as typed process behaviour
4. Bisimulation through probabilistic testing
5. Probabilistic noninterference for multi-threaded programs
6. Secure information flow in a multi-threaded imperative language
7. Secure introduction of one-way functions
8. A type-based approach to program security
9. Probabilistic noninterference in a concurrent language
10. Verifying secrets and relative secrecy
11. A sound type system for secure flow analysis