Search the dblp DataBase

Publications of Author

1. Peter D. Zegzhda, Dmitry P. Zegzhda, Maxim O. Kalinin
   Logical Resolving for Security Evaluation. [Citation Graph (0, 0)][DBLP]
   MMM-ACNS, 2003, pp:147-156 [Conf]
   
2. Peter D. Zegzhda, Dmitry P. Zegzhda, Maxim O. Kalinin
   Vulnerabilities Detection in the Configurations of MS Windows Operating System. [Citation Graph (0, 0)][DBLP]
   MMM-ACNS, 2005, pp:339-351 [Conf]
   
3. Peter D. Zegzhda, Dmitry P. Zegzhda, Maxim O. Kalinin
   Detection of the Operating System Configuration Vulnerabilities with Safety Evaluation Facility. [Citation Graph (0, 0)][DBLP]
   WOSIS, 2005, pp:263-276 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   Computers and Artificial Intelligence, 2006, v:25, n:5, pp:- [Journal]
   
5. 
   Clarifying Integrity Control at the Trusted Information Environment. [Citation Graph (, )][DBLP]
   
   
6. 
   Intellectual Intrusion Detection with Sequences Alignment Methods. [Citation Graph (, )][DBLP]
   
   
7. 
   Logical Security Evaluation of Real-World Operating Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   "Linux over OSMOS": the Secure Hybrid Operating System. [Citation Graph (, )][DBLP]
   
   
9. 
   Security Assurance for the Attribute-Based Access Control Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    The Use of Conference Control to Design a Protected Videoconference System. [Citation Graph (, )][DBLP]