A simple view of type-secure information flow in the π-calculus
- 25 June 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- A simple view of type-secure information flow in the π-calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Typing and subtyping for mobile processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A general theory of composition for trace sets closed under selective interleaving functionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Linearity and BisimulationPublished by Springer Nature ,2002
- A uniform type structure for secure information flowPublished by Association for Computing Machinery (ACM) ,2002
- Trust in the pi-calculusPublished by Association for Computing Machinery (ACM) ,2001
- Type Reconstruction for Linear π-Calculus with I/O SubtypingInformation and Computation, 2000
- Linearity and the pi-calculusACM Transactions on Programming Languages and Systems, 1999
- A Classification of Security Properties for Process Algebras1Journal of Computer Security, 1995
- Barbed bisimulationPublished by Springer Nature ,1992