Formal Analysis of Dynamic, Distributed File-System Access Controls

This publication has 11 references indexed in Scilit:

• Formal security analysis of basic network-attached storage
  Published by Association for Computing Machinery (ACM) ,2005
• Analyzing security protocols with secrecy types and logic programs
  Journal of the ACM, 2005
• Typing correspondence assertions for communication protocols
  Theoretical Computer Science, 2003
• Enforceable security policies
  ACM Transactions on Information and System Security, 2000
• Authenticating network attached storage
  IEEE Micro, 2000
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• Protection in programming-language translations
  Published by Springer Nature ,1998
• The Polyadic π-Calculus: a Tutorial
  Published by Springer Nature ,1993
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Fully abstract models of typed λ-calculi
  Theoretical Computer Science, 1977