Security, Probability and Nearly Fair Coins in the Cryptographers’ Café-Reference-Cited by-同舟云学术

Security, Probability and Nearly Fair Coins in the Cryptographers’ Café

Published:2009 Issue: Volume: Page:41-71
ISSN:0302-9743
Container-title:FM 2009: Formal Methods
language:
Short-container-title:

Author:

McIver Annabelle,Meinicke Larissa,Morgan Carroll

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-05089-3_5

Reference67 articles.

1. A large literature on probabilistic process algebras from 1990 or before

2. A series of meetings between Oxford and Manchester over the general principles of data refinement (reification) and its completeness, Participants included Jifeng He, Tony Hoare, Cliff Jones, Peter Lupton, Carroll Morgan, Tobias Nipkow, Ken Robinson, Bill Roscoe, Jeff Sanders, Ib Sørensen and Mike Spivey (1986)

3. Back, R.-J.R.: On the correctness of refinement steps in program development. Report A-1978-4, Dept. Comp. Sci., Univ. Helsinki (1978)

4. Back, R.-J.R.: Data refinement in the refinement calculus. In: Proceedings 22nd Hawaii International Conference of System Sciences, Kailua-Kona (January 1989)

5. Back, R.-J.R., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (1998)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal modeling and verification of security controls for multimedia systems in the cloud;Multimedia Tools and Applications;2017-07-07

2. Probabilistic Point-to-Point Information Leakage;2013 IEEE 26th Computer Security Foundations Symposium;2013-06

3. A UTP approach towards probabilistic protocol verification;Security and Communication Networks;2012-06-21

4. Formal Probabilistic Analysis: A Higher-Order Logic Based Approach;Abstract State Machines, Alloy, B and Z;2010