Summary:
A modified version of the BAN concrete Andrew Secure RPC protocol,
preventing a parallel session attack.
Exchanged of a fresh shared key,
Symmetric key cryptography.
Gavin Lowe.
Some new attacks upon security protocols.
In IEEE Computer Society Press, editor, In Proceedings of the
Computer Security Foundations Workshop VIII, 1996.