Extending .NET security to unmanaged code
- 作者Patrick Klinkoff; Engin Kirda; Christopher Kruegel; Giovanni Vigna
- 卷第6卷
- 期第6期
- 印刷ISSN1615-5262
- 电子ISSN1615-5270
- 文件大小456.41KB
- 发表时间2007-10
- DOI10.1007/s10207-007-0031-0
- 页码417-428
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