A calculus for access control in distributed systems
- 1 September 1993
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 15 (4), 706-734
- https://doi.org/10.1145/155183.155225
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Dynamic algebras as a well-behaved fragment of relation algebrasPublished by Springer Nature ,2005
- Cascaded authenticationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A logical view of compositionTheoretical Computer Science, 1993
- Authentication in distributed systemsACM Transactions on Computer Systems, 1992
- Authentication and delegation with smart-cardsLecture Notes in Computer Science, 1991
- Linear logicTheoretical Computer Science, 1987
- AlternationJournal of the ACM, 1981
- Using encryption for authentication in large networks of computersCommunications of the ACM, 1978
- A method for obtaining digital signatures and public-key cryptosystemsCommunications of the ACM, 1978
- Capability-based addressingCommunications of the ACM, 1974