dblp.uni-trier.dewww.uni-trier.de

Peter D. Zegzhda Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
5 Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang: Formal Verification of Security Model Using SPR Tool. Computers and Artificial Intelligence 25(5): (2006)
2005
4EEPeter D. Zegzhda, Dmitry P. Zegzhda, Maxim O. Kalinin: Vulnerabilities Detection in the Configurations of MS Windows Operating System. MMM-ACNS 2005: 339-351
3 Peter D. Zegzhda, Dmitry P. Zegzhda, Maxim O. Kalinin: Detection of the Operating System Configuration Vulnerabilities with Safety Evaluation Facility. WOSIS 2005: 263-276
2003
2EEPeter D. Zegzhda, Dmitry P. Zegzhda, Maxim O. Kalinin: Logical Resolving for Security Evaluation. MMM-ACNS 2003: 147-156
2001
1EEPeter D. Zegzhda, Dmitry P. Zegzhda: Secure Systems Design Technology. MMM-ACNS 2001: 63-71

Coauthor Index

1Jin-Young Choi [5]
2Maxim O. Kalinin [2] [3] [4] [5]
3Inhye Kang [5]
4Miyoung Kang [5]
5Il-Gon Kim [5]
6Dmitry P. Zegzhda [1] [2] [3] [4] [5]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)