Specifying and implementing privacy-preserving cryptographic protocols
- 作者Theodoros Balopoulos; Stefanos Gritzalis; Sokratis K. Katsikas
- 卷第7卷
- 期第6期
- 印刷ISSN1615-5262
- 电子ISSN1615-5270
- 文件大小363.01KB
- 发表时间2008-11
- DOI10.1007/s10207-008-0057-y
- 页码395-420
Polynomial liveness*Backes, Michael; Pfitzmann, Birgit; Waidner, Michael; Steiner, Michael; Schneider, S. · Journal of Computer Security · 2004
The reactive simulatability (RSIM) framework for asynchronous systemsMichael Backes; Birgit Pfitzmann; Michael Waidner · 2007
Symmetric authentication in a simulatable Dolev–Yao-style cryptographic libraryMichael Backes; Birgit Pfitzmann; Michael Waidner · International Journal of Information Security · 2005
[ACM Press the 10th ACM conference - Washington D.C., USA (2003.10.27-2003.10.30)] Proceedings of the 10th ACM conference on Computer and communication security - CCS '03 - A composable cryptographic library with nested operationsBackes, Michael; Pfitzmann, Birgit; Waidner, Michael · 2003
Compliant cryptologic protocolsEd Dawson; Kapali Viswanathan; Colin Boyd · International Journal of Information Security · 2002
Computational probabilistic noninterferenceMichael Backes; Birgit Pfitzmann · International Journal of Information Security · 2004
PrefaceMichael Waidner · International Journal of Information Security · 2004
Enabling shared audit dataAdrian Baldwin; Simon Shiu · International Journal of Information Security · 2005
Secure outsourcing of sequence comparisonsMikhail J. Atallah; Jiangtao Li · International Journal of Information Security · 2005
Offline firewall analysisAlain Mayer; Avishai Wool; Elisha Ziskind · International Journal of Information Security · 2006
PrefaceJianying Zhou; Javier Lopez · International Journal of Information Security · 2006