Safety of a Session Guarantees Protocol Using Plausible Clocks.

Jerzy Brzezinski Michal Kalewski Cezary Sobaniec

Published in: PPAM (2007)

Keyphrases

lightweight
information retrieval
formal analysis
application layer
neural network
authentication protocol
tcp ip
sensor networks
multi party
communication protocol
key distribution
cryptographic protocols
communication protocols
rfid systems
network protocols