Offline firewall analysis
- 期刊名称International Journal of Information Security
- 作者Alain Mayer; Avishai Wool; Elisha Ziskind
- 卷第5卷
- 期第3期
- 印刷ISSN1615-5262
- 电子ISSN1615-5270
- 文件大小689.18KB
- 发表时间2006-07
- DOI10.1007/s10207-005-0074-z
- 页码125-144
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