메뉴 건너뛰기




Volumn , Issue , 2008, Pages 233-247

Lares: An architecture for secure active monitoring using virtualization

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CRIME; COMPUTER SOFTWARE; HEALTH; INTRUSION DETECTION; MACHINE TOOLS; SECURITY OF DATA; SENSORS; WEIGHT CONTROL;

EID: 50249101677     PISSN: 10816011     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SP.2008.24     Document Type: Conference Paper
Times cited : (369)

References (40)
  • 2
    • 50249161764 scopus 로고    scopus 로고
    • Advanced Micro Devices. Amd64 architecture programmer's manual 2: System programming, 2007.
    • Advanced Micro Devices. Amd64 architecture programmer's manual volume 2: System programming, 2007.
  • 5
    • 50249137507 scopus 로고    scopus 로고
    • G. Coker. Xen security modules (XSM). Presented at the 2007 Xen Summit.
    • G. Coker. Xen security modules (XSM). Presented at the 2007 Xen Summit.
  • 19
  • 28
    • 0020273088 scopus 로고
    • Proof of separability: A verification technique for a class of security kernels
    • April
    • J. M. Rushby. Proof of separability: A verification technique for a class of security kernels. Lecture Notes in Computer Science, 137:352-357, April 1982.
    • (1982) Lecture Notes in Computer Science , vol.137 , pp. 352-357
    • Rushby, J.M.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.