| 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 |
|---|
| 4 | EE | Peter 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 |
|---|
| 2 | EE | Peter D. Zegzhda,
Dmitry P. Zegzhda,
Maxim O. Kalinin:
Logical Resolving for Security Evaluation.
MMM-ACNS 2003: 147-156 |
| 2001 |
|---|
| 1 | EE | Peter D. Zegzhda,
Dmitry P. Zegzhda:
Secure Systems Design Technology.
MMM-ACNS 2001: 63-71 |
