Secrecy-Preserving Refinement

This publication has 20 references indexed in Scilit:

• Using traces based on procedure calls to reason about composability
  2003
• Tool supported specification and simulation of distributed systems
  2002
• Possibilistic definitions of security-an assembly kit
  2002
• Secure Information Flow for Concurrent Processes
  Lecture Notes in Computer Science, 2000
• Secrecy and Group Creation
  Lecture Notes in Computer Science, 2000
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• An attack on a recursive authentication protocol A cautionary tale
  Information Processing Letters, 1998
• A general theory of composition for a class of "possibilistic" properties
  IEEE Transactions on Software Engineering, 1996
• Formal and informal specifications of a secure system component: first results in a comparative study
  Lecture Notes in Computer Science, 1994
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983