Previous  Index  Next
Send a comment
Security Protocols Open Repository
download: protocol specification in plain text
page in compressed postscript
page in pdf
page source in latex
bibTeX references

BAN modified Andrew Secure RPC

Author(s): Michael Burrows and Martin Abadi and Roger Needham  (1987)

Summary: Modified version of Andrew Secure RPC correcting a freshness flaw. Exchanged of a fresh shared key, Symmetric key cryptography.

Protocol specification (in common syntax)

A, B :   principal
Kab, K'ab :   symkey
Na, Nb, N'b :   nonce
succ :   nonce -> nonce

1.   A -> B :   A, {Na}Kab
2.   B -> A :   {succNa, Nb}Kab
3.   A -> B :   {succNb}Kab
4.   B -> A :   {K'ab, N'b, Na}Kab

Description of the protocol rules

The nonce Na has been added to the message 4 of Andrew Secure RPC to prevent the flow presented in Andrew Secure RPC.


See Andrew Secure RPC.



See also

Andrew Secure RPC, BAN concrete Andrew Secure RPC, Lowe modified BAN concrete Andrew Secure RPC.


Michael Burrows, Martin Abadi, and Roger Needham. A logic of authentication. Technical Report 39, Digital Systems Research Center, february 1989.
last modified 14/11/2002.
Previous  Index  Next
Send a comment