Secure Asynchronous Reactive Systems

作者： Michael Waidner , Birgit Pfitzmann , Michael Backes

DOI:

关键词:

摘要:

暂无可下载资源，当前可以选择系统获取到有开放资源时通知我或者直接发起求助文献求助

参考文章(54)

Michael Waidner, Birgit Pfitzmann, Michael Backes, A Composable Cryptographic Library with Nested Operations (Extended Abstract) ,(2003)

Michael Waidner, Birgit Pfitzmann, A General Framework for Formal Notions of "Secure" Systems ,(1994)

Dennis Hofheinz, Jörn Müller-Quade, Rainer Steinwandt, Initiator-Resilient Universally Composable Key Exchange european symposium on research in computer security. pp. 61- 84 ,(2003) , 10.1007/978-3-540-39650-5_4

Michael Backes, Christian Jacobi, Birgit Pfitzmann, Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation FME 2002:Formal Methods—Getting IT Right. pp. 310- 329 ,(2002) , 10.1007/3-540-45614-7_18

Peeter Laud, Semantics and Program Analysis of Computationally Secure Information Flow european symposium on programming. pp. 77- 91 ,(2001) , 10.1007/3-540-45309-1_6

R. Canetti, Universally composable security: a new paradigm for cryptographic protocols international conference on cluster computing. pp. 136- 145 ,(2001) , 10.1109/SFCS.2001.959888

Catherine A. Meadows, Catherine A. Meadows, Formal Verification of Cryptographic Protocols: A Survey international cryptology conference. pp. 135- 150 ,(1994) , 10.1007/BFB0000430

Michael Steiner, Secure group key agreement ,(2002) , 10.22028/D291-25748

Rosario Gennaro, Silvio Micali, Verifiable secret sharing as secure computation theory and application of cryptographic techniques. pp. 168- 182 ,(1995) , 10.1007/3-540-49264-X_14

Michael Backes, Birgit Pfitzmann, Michael Waidner, A general composition theorem for secure reactive systems theory of cryptography conference. pp. 336- 354 ,(2004) , 10.1007/978-3-540-24638-1_19