Document Versions

A logic of authentication –Michael Burrows, Martín Abadi, Roger Needham — 1990 — ACM TRANSACTIONS ON COMPUTER SYSTEMS
A logic of authentication –Martín Abadi — 1990 — ACM Transactions on Computer Systems
A logic of authentication –Michael Burrows, Martin Abadi, Roger Needham — 1990 — ACM Transactions on Computer Systems
A logic of authentication –Michael Burrows, Martin Abadi, Roger Needham — 1990 — ACM Transactions on Computer Systems
A logic of authentication –Michael Burrows, Martin Abadi, Roger Needham — 1990 — ACM Transactions on Computer Systems
Private Authentication –Martín Abadi — 2002 — ACM Transactions on Computer Systems
A Logic of Authentication –Michael Burrows, Roger Needham — 1990 — ACM Transactions on Computer Systems
A logic of authentication –Michael Burrows, Martin Abadi, Roger Needham — 1990 — ACM Transactions on Computer Systems
A Semantics for a Logic of Authentication –Martin Abadi, Mark Tuttle — 1991 — In Proceedings of the ACM Symposium of Principles of Distributed Computing
A logic of authentication –Michael Burrows, Mart Abadi, Roger Needham — 1990 — ACM Transactions on Computer Systems
A logic of authentication –Michael Burrows, Roger Needham — 1990 — ACM Transactions on Computer Systems
A logic of authentication –Michael Burrows, Martin Abadi, Roger Needham — 1990 — ACM Transactions on Computer Systems
A logic of authentication –Michael Burrows, Mart Abadi, Roger Needham — 1990 — ACM Transactions on Computer Systems
A logic of authentication –Michael Burrows, Roger Needham — 1990 — ACM Transactions on Computer Systems