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.

Requirements

See Andrew Secure RPC.

References

[BAN89]

Citations

[BAN89]: 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.

Home

Previous Index Next

Send a comment