Ensuring security in depth based on heterogeneous network security technologies
- 作者Meharouech Sourour; Bouhoula Adel; Abbes Tarek
- 卷第8卷
- 期第4期
- 印刷ISSN1615-5262
- 电子ISSN1615-5270
- 文件大小639.20KB
- 发表时间2009-08
- DOI10.1007/s10207-009-0077-2
- 页码233-246
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