Active semantically aware hard real-time security hypervisors

Authors:
Victor Yodaiken;Cort Dougan
Affiliations:
Finite State Research LLC, Austin Texas;Finite State Research LLC, Socorro New Mexico
Venue:
Proceedings of the 4th annual workshop on Cyber security and information intelligence research: developing strategies to meet the cyber security and information intelligence challenges ahead
Year:
2008

Citing 5
Cited 0

A Retrospective on the VAX VMM Security Kernel

IEEE Transactions on Software Engineering
Formal requirements for virtualizable third generation architectures

Communications of the ACM
Xen and the art of virtualization

SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Virtual Machine Monitors: Current Technology and Future Trends

Computer
SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes

Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we sketch an approach to security involving the use of real-time operating systems as real-time monitors of system security, using semantic properties of the underlying "base" operating system and applications to improve efficiency and capabilities.