A Type Discipline for Authorization Policies

This publication has 20 references indexed in Scilit:

• Cassandra: flexible trust management, applied to electronic health records
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Type Based Discretionary Access Control
  Published by Springer Nature ,2004
• Access control for mobile agents
  ACM Transactions on Programming Languages and Systems, 2004
• A distributed calculus for role-based access control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Decentralized trust management
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• From Secrecy to Authenticity in Security Protocols
  Published by Springer Nature ,2002
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• On SDSI’s linked local name spaces
  Journal of Computer Security, 1998
• What you always wanted to know about Datalog (and never dared to ask)
  IEEE Transactions on Knowledge and Data Engineering, 1989
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983