The reactive simulatability (RSIM) framework for asynchronous systems
Authors:
- 1 December 2007
- journal article
- Published by Elsevier in Information and Computation
- Vol. 205 (12) , 1685-1720
Abstract
No abstract availableKeywords
This publication has 76 references indexed in Scilit:
- Relating Symbolic and Cryptographic SecrecyIEEE Transactions on Dependable and Secure Computing, 2005
- Symmetric authentication in a simulatable Dolev–Yao-style cryptographic libraryInternational Journal of Information Security, 2005
- Reactively secure signature schemesInternational Journal of Information Security, 2005
- Computational probabilistic noninterferenceInternational Journal of Information Security, 2004
- Composition and behaviors of probabilistic I/O automataTheoretical Computer Science, 1997
- Bisimulation through probabilistic testingInformation and Computation, 1991
- Rejoinder to NessettACM SIGOPS Operating Systems Review, 1990
- Analyzing encryption protocols using formal verification techniquesIEEE Journal on Selected Areas in Communications, 1989
- Probabilistic encryptionJournal of Computer and System Sciences, 1984
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983