Virtual environment security modeling

Authors:
Dmitry Zegzhda;Ekaterina Rudina
Affiliations:
Saint-Petersburg State Polytechnical University, Saint-Petersburg, Russian Federation;Saint-Petersburg State Polytechnical University, Saint-Petersburg, Russian Federation
Venue:
MMM-ACNS'10 Proceedings of the 5th international conference on Mathematical methods, models and architectures for computer network security
Year:
2010

Citing 5
Cited 0

Formal requirements for virtualizable third generation architectures

Communications of the ACM
When Virtual Is Better Than Real

HOTOS '01 Proceedings of the Eighth Workshop on Hot Topics in Operating Systems
Isolated Program Execution: An Application Transparent Approach for Executing Untrusted Programs

ACSAC '03 Proceedings of the 19th Annual Computer Security Applications Conference
A comparison of software and hardware techniques for x86 virtualization

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
A secure environment for untrusted helper applications confining the Wily Hacker

SSYM'96 Proceedings of the 6th conference on USENIX Security Symposium, Focusing on Applications of Cryptography - Volume 6

Quantified Score

Hi-index	0.00

Visualization

Abstract

Virtualization allows to manage a lot of properties of computer systems including the security of information processing. Goal of this investigation is to state conditions of the ability of virtualization mechanism to guarantee satisfying of the security policy. It is formally proved that if the virtual environment is untrusted, virtualization mechanism should be run on the trusted operating system.