A CALCULUS FOR ACCESS-CONTROL IN DISTRIBUTED SYSTEMS

Authors
ABADI M BURROWS M LAMPSON B PLOTKIN G
Citation
M. Abadi et al., A CALCULUS FOR ACCESS-CONTROL IN DISTRIBUTED SYSTEMS, ACM transactions on programming languages and systems, 15(4), 1993, pp. 706-734
Citations number
27
Categorie Soggetti
Computer Sciences","Computer Applications & Cybernetics
Journal title
ACM transactions on programming languages and systems → ACNP
ISSN journal
01640925
Volume
15
Issue
4
Year of publication
1993
Pages
706 - 734
Database
ISI
SICI code
0164-0925(1993)15:4<706:ACFAID>2.0.ZU;2-R
Abstract
We study some of the concepts, protocols, and algorithms for access co ntrol in distributed systems, from a logical perspective. We account f or how a principal may come to believe that another principal is makin g a request, either on his own or on someone else's behalf. We also pr ovide a logical language for access control lists and theories for dec iding whether requests should be granted.