Specification of timed authentication protocols with colored Petri nets.

Gizela Jakubowska Marian Srebrny

Published in: ACS (2001)

Keyphrases

colored petri nets
authentication protocol
petri net
smart card
web services
security analysis
lightweight
public key
security protocols
secret key
hash functions
rfid systems
rfid tags
key management
data sets
temporal constraints
response time
database systems
information systems