Next:
The -Calculus.
Up:
Background
Previous:
Limitations of Existing Program
The Typed
-Calculus and Secrecy Analysis
Subsections
The
-Calculus.
Expressive Power and Type-Based Embedding.
Application to Information Flow Analysis: Qualitative and Quantitative.
Igor Siveroni 2004-08-16
-Calculus and Secrecy Analysis