Reference Citation Analysis: Find an Article, Find a Category, Find a Journal, Find a Scholar

For:	Lincoln P, Mitchell J, Mitchell M, Scedrovy A. Probabilistic Polynomial-Time Equivalence and Security Analysis. FM’99 — Formal Methods 1999. [DOI: 10.1007/3-540-48119-2_43] [Citation(s) in RCA: 26] [Impact Index Per Article: 1.0] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/24/2022]

Number	Cited by Other Article(s)
1	Segala R, Turrini A. Approximated Computationally Bounded Simulation Relations for Probabilistic Automata. ACTA ACUST UNITED AC 2007. [DOI: 10.1109/csf.2007.8] [Citation(s) in RCA: 7] [Impact Index Per Article: 0.4] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/06/2022] Abstract Collapse Key Words Collapse MESH Headings Collapse Grants Collapse Affiliation(s) Collapse
2	Datta A, Küsters R, Mitchell JC, Ramanathan A. On the Relationships Between Notions of Simulation-Based Security. THEORY OF CRYPTOGRAPHY 2005. [DOI: 10.1007/978-3-540-30576-7_26] [Citation(s) in RCA: 16] [Impact Index Per Article: 0.8] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/29/2022] Abstract Collapse Key Words Collapse MESH Headings Collapse Grants Collapse Affiliation(s) Collapse
3	A General Composition Theorem for Secure Reactive Systems. THEORY OF CRYPTOGRAPHY 2004. [DOI: 10.1007/978-3-540-24638-1_19] [Citation(s) in RCA: 42] [Impact Index Per Article: 2.1] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/29/2022] Abstract Collapse Key Words Collapse MESH Headings Collapse Grants Collapse Affiliation(s) Collapse
4	Norman G, Shmatikov V. Analysis of Probabilistic Contract Signing. FORMAL ASPECTS OF SECURITY 2003. [DOI: 10.1007/978-3-540-40981-6_9] [Citation(s) in RCA: 10] [Impact Index Per Article: 0.5] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/12/2022] Abstract Collapse Key Words Collapse MESH Headings Collapse Grants Collapse Affiliation(s) Collapse
5	Pfitzmann B, Schunter M, Waidner M. Cryptographic Security of Reactive Systems. ACTA ACUST UNITED AC 2000. [DOI: 10.1016/s1571-0661(04)00095-7] [Citation(s) in RCA: 5] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/26/2022] Abstract Collapse Key Words Collapse MESH Headings Collapse Grants Collapse Affiliation(s) Collapse