| 2008 |
|---|
| 11 | | Dmitry P. Zegzhda,
Maxim O. Kalinin:
Security Assurance for the Attribute-Based Access Control Systems.
Enterprise Information Systems and Web Technologies 2008: 147-154 |
| 10 | | Dmitry P. Zegzhda,
Maxim O. Kalinin,
Alexander Vovk:
"Linux over OSMOS": the Secure Hybrid Operating System.
Enterprise Information Systems and Web Technologies 2008: 47-54 |
| 9 | | Dmitry P. Zegzhda,
Maxim O. Kalinin,
Olga Savelyeva:
The Use of Conference Control to Design a Protected Videoconference System.
Enterprise Information Systems and Web Technologies 2008: 55-60 |
| 2007 |
|---|
| 8 | | Dmitry P. Zegzhda,
Maxim O. Kalinin:
Logical Security Evaluation of Real-World Operating Systems.
Enterprise Information Systems and Web Technologies 2007: 234-241 |
| 2006 |
|---|
| 7 | | 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 |
|---|
| 6 | EE | Dmitry P. Zegzhda,
Alex M. Vovk:
Secure Hybrid Operating System "Linux over Fenix".
MMM-ACNS 2005: 272-285 |
| 5 | 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 |
| 4 | | 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 |
|---|
| 3 | EE | Peter D. Zegzhda,
Dmitry P. Zegzhda,
Maxim O. Kalinin:
Logical Resolving for Security Evaluation.
MMM-ACNS 2003: 147-156 |
| 2001 |
|---|
| 2 | EE | Dmitry P. Zegzhda,
Pavel G. Stepanov,
Alexey D. Otavin:
Fenix Secure Operating System: Principles, Models and Architecture.
MMM-ACNS 2001: 207-218 |
| 1 | EE | Peter D. Zegzhda,
Dmitry P. Zegzhda:
Secure Systems Design Technology.
MMM-ACNS 2001: 63-71 |
