Next:
Background
Program Analysis and the Typed
-Calculus:
Foundations and Applications to Security
Background
Needs for Software Safety
Program Analysis
Limitations of Existing Program Analyses
The Typed
-Calculus and Secrecy Analysis
The
-Calculus.
Expressive Power and Type-Based Embedding.
Application to Information Flow Analysis: Qualitative and Quantitative.
Related Work
Programme and Methodology
Aims and Objectives
Programme
Methodology
Track A: The Typed
-Calculus
Track B: Qualitative/Quantitative Security Analyses and Integration
Track C: Experimentation
Relevance to Beneficiaries
Dissemination and Exploitation
Bibliography
About this document ...
Igor Siveroni 2004-08-16
-Calculus: