On Using Protean To Verify ISO FTAM Protocol.

Richard Lai Ken R. Parker Tharam S. Dillon

Published in: CAV (1990)

Keyphrases

lightweight
coloured petri nets
authentication protocol
cryptographic protocols
communication protocol
formal analysis
security protocols
multiple access
network protocols
data mining
information systems
tcp ip
rfid systems
group communication
verification method