Trust in the pi-calculus
- 5 September 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 103-114
- https://doi.org/10.1145/773184.773196
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Type Reconstruction for Linear π-Calculus with I/O SubtypingInformation and Computation, 2000
- Safe, Untrusted Agents Using Proof-Carrying CodePublished by Springer Nature ,1998
- A sound type system for secure flow analysisJournal of Computer Security, 1996
- Can you trust your dataPublished by Springer Nature ,1995
- Principal typing schemes in a polyadic π-calculusPublished by Springer Nature ,1993
- The Polyadic π-Calculus: a TutorialPublished by Springer Nature ,1993
- A calculus of mobile processes, IIInformation and Computation, 1992
- A lattice model of secure information flowCommunications of the ACM, 1976