Login / Signup
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