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 |