[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Roster Page
- 文件大小84.43KB
- 发表时间2008
- DOI10.1109/sefm.2008.45
- 页码394-394
[IEEE Proceedings 1996 IEEE Symposium on Security and Privacy - Oakland, CA, USA (1996.05.6-1996.05.8)] Proceedings 1996 IEEE Symposium on Security and Privacy SECPRI-96 - Index of authors1996
[IEEE Comput. Soc. Press 1996 IEEE Symposium on Security and Privacy - Oakland, CA, USA (6-8 May 1996)] Proceedings 1996 IEEE Symposium on Security and Privacy - Security properties and CSPSchneider, S. · 1996
[IEEE Comput. Soc. Press 1996 IEEE Symposium on Security and Privacy - Oakland, CA, USA (6-8 May 1996)] Proceedings 1996 IEEE Symposium on Security and Privacy - Decentralized trust managementBlaze, M.; Feigenbaum, J.; Lacy, J. · 1996
[IEEE Comput. Soc. Press 1996 IEEE Symposium on Security and Privacy - Oakland, CA, USA (6-8 May 1996)] Proceedings 1996 IEEE Symposium on Security and Privacy - A security policy model for clinical information systemsAnderson, R.J. · 1996
[IEEE Comput. Soc. Press 1996 IEEE Symposium on Security and Privacy - Oakland, CA, USA (6-8 May 1996)] Proceedings 1996 IEEE Symposium on Security and Privacy - Computer security training and education: a needs analysisBarnett, S.F. · 1996
[IEEE Comput. Soc. Press 1996 IEEE Symposium on Security and Privacy - Oakland, CA, USA (6-8 May 1996)] Proceedings 1996 IEEE Symposium on Security and Privacy - Secure network objectsVan Doorn, L.; Abadi, M.; Burrows, M.; Wobber, E. · 1996
[IEEE Comput. Soc. Press 1996 IEEE Symposium on Security and Privacy - Oakland, CA, USA (6-8 May 1996)] Proceedings 1996 IEEE Symposium on Security and Privacy - Cryptovirology: extortion-based security threats and countermeasuresYoung, A.; Moti Yung, · 1996