Login / Signup
On a Limitation of BAN Logic.
Colin Boyd
Wenbo Mao
Published in:
EUROCRYPT (1993)
Keyphrases
</>
ban logic
formal analysis
authentication protocol
lightweight