SIGN IN
SIGN UP
A calculus for access control in distributed systems
Full Text:
Pdf
Buy this Article
Authors:
Martín Abadi
Digital Equipment Corp., Palo Alto, CA
Michael Burrows
Digital Equipment Corp., Palo Alto, CA
Butler Lampson
Digital Equipment Corp., Palo Alto, CA
Gordon Plotkin
Univ. of Edinburgh, Edinburgh, Scotland, UK
1993 Article
Bibliometrics
· Downloads (6 Weeks): 10
· Downloads (12 Months): 91
· Downloads (cumulative): 2,178
· Citation Count: 164
Published in:
· Journal
ACM Transactions on Programming Languages and Systems (TOPLAS)
TOPLAS Homepage
archive
Volume 15 Issue 4, Sept. 1993
Pages 706 - 734
ACM
New York, NY
, USA
table of contents
doi>
10.1145/155183.155225
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
access controls
authentication
cryptographic protocols
cryptography
modal logic
security
theory
verification
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder