Leakage and Protocol Composition in a Game-Theoretic Perspective.
Mário S. AlvimKonstantinos ChatzikokolakisYusuke KawamotoCatuscia PalamidessiPublished in: POST (2018)
Keyphrases
- game theoretic perspective
- formal analysis
- coloured petri nets
- composite web services
- cryptographic protocols
- communication protocol
- security protocols
- lightweight
- web service composition
- application layer
- communication protocols
- multi party
- database
- quality of service
- network simulator
- music composition
- wireless sensor networks
- cooperative
- neural network