Semantics-driven introspection in a virtual environment

Proceedings - The 4th International Symposium on Information Assurance and Security, IAS 2008

Volumn , Issue , 2008, Pages 299-302

  Tamberi, Francesco ^a   Maggiari, Dario ^a   Sgandurra, Daniele ^a   Baiardi, Fabrizio ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MONITORING SYSTEMS; PRELIMINARY PERFORMANCE RESULTS; PROCESS STATES; PROTOTYPE IMPLEMENTATIONS; SYSTEM CALLS; VIRTUAL ENVIRONMENTS; VIRTUAL MACHINES;

INFORMATION THEORY; SEMANTICS; VIRTUAL REALITY;

PROCESS ENGINEERING;

EID: 55349138104     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IAS.2008.17     Document Type: Conference Paper

References (10)

1. F. Baiardi and D. Sgandurra. Building Trustworthy Intrusion Detection through VM Introspection. In Proceedings of The Third International Symposium on Information Assurance and Security (IAS'07), pages 209-214. IRRR Computer Society, 2007.
2. B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, I. Pratt, A. Warfleld, R Barham, and R. Neugebauer. Xen and the art of virtualization. In Proceedings of the ACM Symposium on Operating Systems Principles, October 2003.
3. G. W. Dunlap, S. T. King, S. Cinar, M. A. Basrai, and R M. Chen. Revirt: enabling intrusion analysis through virtual-machine logging and replay. SIGOPS Oper. Syst. Rev., 36(SI):211-224, 2002.
4. T. Garflnkel and M. Rosenblum. A virtual machine introspection based architecturefor intrusion detection. In Proc. Network and Distributed Systems Security Symposium, February 2003.
5. M. Laureano, C. Maziero, and E. Jamhour. Protecting host-based intrusion detectors through virtual machines. Comput. Netw., 51(5):1275-1283, 2007.
6. F Leung, G. Neiger, D. Rodgers, A. Santoni, and R. Uh-lig. Intel Virtualization Technology: Hardware support for efficient processor virtualization. Intel Technology Journal, 10(3):167-178, August 2006.
7. A.-Q. Nguyen and K. Suzaki. Xenprobes, a lightweight user-space probing frameworkfor xen virtual machine. In USENIX Annual Technical Conference, pages 15-28, 2007.
8. B. D. Payne, M. Carbone, and W. Lee. Secure and flexible monitoring of virtual machines. In Proceedings of the 23rd Annual Computer Security Applications Conference (AC-SAC 2007), December 2007.
9. B. D. Payne, M. Carbone, M. Sharif, and W. Lee. Lares: An architecture for secureactive monitoring using virtualization. In Proceedings of the IEEE Symposium on Securityand Privacy, May 2008.
10. H. Saidi. Guarded models for intrusion detection. In PLAS '07: Proceedings of the 2007 workshop on Programming languages and analysis for security, pages 85-94, New York, NY, USA, 2007. ACM.