A Game-Theoretic Approach to Information-Flow Control via Protocol Composition.
Mário S. AlvimKonstantinos ChatzikokolakisYusuke KawamotoCatuscia PalamidessiPublished in: Entropy (2018)
Keyphrases
- information flow control
- lightweight
- information flow
- application layer
- formal analysis
- authentication protocol
- tcp ip
- communication protocols
- coloured petri nets
- data sets
- digital libraries
- neural network
- communication protocol
- real time
- cryptographic protocols
- web services composition
- network simulator
- network protocols
- composite web services