Audit: A new synchronization API for the GET/PUT protocol.
Atsushi HoriJinpil LeeMitsuhisa SatoPublished in: J. Parallel Distributed Comput. (2012)
Keyphrases
- interprocess communication
- lightweight
- application programming interface
- source code
- coloured petri nets
- security protocols
- formal analysis
- communication protocol
- intrusion detection
- quality assurance
- tcp ip
- open source
- high level
- routing protocol
- data mining techniques
- database
- key distribution
- communication protocols
- secure communication
- network simulator
- network protocols
- digital libraries