A Calculus for Access Control in Distributed Systems

This publication has 12 references indexed in Scilit:

• Dynamic algebras as a well-behaved fragment of relation algebras
  Published by Springer Nature ,2006
• Authentication in distributed systems
  Published by Association for Computing Machinery (ACM) ,1991
• Authentication and delegation with smart-cards
  Published by Springer Nature ,1991
• An architecture for practical delegation in a distributed system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• A logic of authentication
  Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989
• Alternation
  Journal of the ACM, 1981
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978
• A method for obtaining digital signatures and public-key cryptosystems
  Communications of the ACM, 1978
• New directions in cryptography
  IEEE Transactions on Information Theory, 1976
• Capability-based addressing
  Communications of the ACM, 1974