Computational Secrecy by Typing for the Pi Calculus
No abstract available.
Related papers
- The SLam Calculus: Programming with Secrecy and Integrity POPL 1998
- A uniform type structure for secure information flow TOPLAS 2007
- Analyzing security protocols with secrecy types and logic programs POPL 2002
- A uniform type structure for secure information flow POPL 2002
- Channel dependent types for higher-order mobile processes POPL 2004
- Noninterference through flow analysis JFP 2005
- Secure implementations of typed channel abstractions POPL 2007
- Verifying Secrets and Relative Secrecy POPL 2000