Audit: New Synchronization for the GET/PUT Protocol.

Atsushi Hori Jinpil Lee Mitsuhisa Sato

Published in: IPDPS Workshops (2011)

Keyphrases

lightweight
coloured petri nets
interprocess communication
phase locked
network protocols

cryptographic protocols
tcp ip
communication protocol
formal analysis
intrusion detection

chaotic systems
communication protocols
authentication protocol
security analysis

secure communication
network simulator
electronic commerce
data mining techniques