On The Formal Analysis of PKCS Authentication Protocols.

Klaus Gaarder Einar Snekkenes

Published in: AUSCRYPT (1990)

Keyphrases

formal analysis
ban logic
authentication protocol
smart card
java card
lightweight
agent model
rfid tags
formal methods
real time
high dimensional
low cost
end to end