Audit: New Synchronization for the GET/PUT Protocol.
Atsushi HoriJinpil LeeMitsuhisa SatoPublished 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