Static Analysis for the π-Calculus with Applications to Security

This publication has 15 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Control-Flow Analysis in Cubic Time
  Published by Springer Nature ,2001
• Types for access control
  Theoretical Computer Science, 2000
• Secrecy by typing in security protocols
  Journal of the ACM, 1999
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• Trust in the λ-calculus
  Journal of Functional Programming, 1997
• The Compositional Security Checker: a tool for the verification of information flow security properties
  IEEE Transactions on Software Engineering, 1997
• Modal logics for mobile processes
  Theoretical Computer Science, 1993
• Unwinding and Inference Control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• Secure Computer System: Unified Exposition and Multics Interpretation
  Published by Defense Technical Information Center (DTIC) ,1976