Authentication in the Taos operating system
- 1 February 1994
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Computer Systems
- Vol. 12 (1) , 3-32
- https://doi.org/10.1145/174613.174614
Abstract
We describe a design for security in a distributed system and its implementation. In our design, applications gain access to security services through a narrow interface. This interface provides a notion of identity that includes simple principals, groups, roles, and delegations. A new operating system component manages principals, credentials, and secure channels. It checks credentials according to the formal rules of a logic of authentication. Our implementation is efficient enough to support a substantial user community.Keywords
This publication has 7 references indexed in Scilit:
- Authentication and delegation with smart-cardsScience of Computer Programming, 1993
- A calculus for access control in distributed systemsACM Transactions on Programming Languages and Systems, 1993
- Authentication in distributed systemsACM Transactions on Computer Systems, 1992
- Performance of the Firefly RPCACM Transactions on Computer Systems, 1990
- Firefly: a multiprocessor workstationIEEE Transactions on Computers, 1988
- A method for obtaining digital signatures and public-key cryptosystemsCommunications of the ACM, 1978
- ProtectionACM SIGOPS Operating Systems Review, 1974