B. Lampson, M. Abadi, M. Burrows and E. Wobber. Authentication in distributed systems:theory and practice. acm Transactions on Computer Systems V10, N4, 1992 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Mechanizing a Theory of Authentication in Higher Order Logic - Munna, Alves-Foss Self-citation (Theory) (Correct)
....flaws. Several methods have been proposed to verify the correctness and security of authentication protocols. This paper discusses a research project that examines the use of a Theory of Access Control as proposed by Abadi et al. ABLP91] and subsequently modified and expanded by Lampson et al. [LABW92] and Wobber et al. WABL94] This theory involves the formal specification and verification of the authentication protocols for distributed systems. Note that this theory has similarities to BAN logic [BAN90] but its scope is narrower; however it is more detailed within the scope. We have taken ....
....the abstract checking of the flow of trust between the participants of the protocol during the protocol run. If it can be shown that at the end of the protocol run the participants have the beliefs that are intended by the protocol, then the protocol fulfills the requirements. Lampson et al. [LABW92] describe a theory of authentication which has some similarities to the BAN logic [BAN90] has smaller scope but is more detailed. The level of detail provided has enabled Wobber et al. to have implemented a version of this theory in the Taos operating system [WABL94] Since the logic theory is ....
[Article contains additional citation context not shown here]
B. Lampson, M. Abadi, M. Burrows and E. Wobber. Authentication in distributed systems:theory and practice. acm Transactions on Computer Systems V10, N4, 1992
Mechanizing a Theory of Authentication in Higher Order Logic - Munna, Alves-Foss Self-citation (Theory) (Correct)
....used to validate a user s identity and grant (or deny) access to resources based on that identity. Specifically this paper discusses a research project that examines the use of a Theory of Access Control as proposed by Abadi et al. Abad91] and subsequently modified and expanded Lampson et al. [Lamp92] and Wobber et al. Wobb94] This theory involves the formal specification and verification of the authentication protocols for distributed systems discussed above. We have taken the logic of authentication presented and mechanized it in HOL[Gord87] In this paper we present some background ....
....to simulate messages in another run, in a different role. ffl There is no systematic way of getting from the protocol description to the idealized protocol that is used by the logic. BAN approach is not suited to the analysis of protocol security. 2. 2 Theory of Lampson et al. Lampson et al. [Lamp92] describe a theory of authentication and a system that implements it. Their theory deals with principals and statements. All that principals can do is to say things, and statements are the things they say. Its scope is narrower than the BAN logic, but more detailed. The theory is based on the ....
[Article contains additional citation context not shown here]
B. Lampson, M. Abadi, M. Burrows and E. Wobber. Authentication in distributed systems:theory and practice. acm Transactions on Computer Systems V10, N4, 1992
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC