Login / Signup
A Game-Theoretic Approach to Information-Flow Control via Protocol Composition.
Mário S. Alvim
Konstantinos Chatzikokolakis
Yusuke Kawamoto
Catuscia Palamidessi
Published in:
CoRR (2018)
Keyphrases
</>
information flow control
lightweight
information flow
composite web services
web service composition
communication protocol
tcp ip
web services
formal analysis
cryptographic protocols
coloured petri nets
service composition
security analysis
web services composition
music composition