Static Analysis for Secrecy and Non-interference in Networks of Processes

This publication has 24 references indexed in Scilit:

• Secrecy Types for Asymmetric Communication
  Published by Springer Nature ,2001
• Mobile values, new names, and secure communication
  Published by Association for Computing Machinery (ACM) ,2001
• Types for access control
  Theoretical Computer Science, 2000
• Types for mobile ambients
  Published by Association for Computing Machinery (ACM) ,1999
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• Control flow analysis for the π-calculus
  Published by Springer Nature ,1998
• An approach to the formal verification of cryptographic protocols
  Published by Association for Computing Machinery (ACM) ,1996
• Testing Equivalence for Mobile Processes
  Information and Computation, 1995
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• A lattice model of secure information flow
  Communications of the ACM, 1976