Handling encryption in an analysis for secure information flow

DOI10.1007/3-540-36575-3_12MaRDI QIDQ4417891zbMATH OpenFDO

Authors Peeter Laud

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2618/26180159.htm

Mathematics Subject Classification ID

Theory of software (68N99) Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Semantics and program analysis of computationally secure information flow
• Fundamentals of Computation Theory
• Cryptographically-masked flows
• Cryptographically-Masked Flows
• Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption

Cited in

(6)

• Semantics and program analysis of computationally secure information flow
• A survey of symbolic methods in computational analysis of cryptographic systems
• Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
• Possibilistic information flow control in the presence of encrypted communication
• Type systems equivalent to data-flow analyses for imperative languages
• Cryptographically-masked flows

This page was built for publication: Handling encryption in an analysis for secure information flow

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417891)