Robust and Efficient Response to TCG TOCTOU Attacks in TPVM

Author

Xiaolin Chang ; Bin Xing ; Jiqiang Liu ; Zhonglan Yuan ; Longmei Sun

Author_Institution

Sch. of Comput. & Inf. Technol., Beijing JiaoTong Univ., Beijing, China

fYear

2012

fDate

14-16 Dec. 2012

Firstpage

323

Lastpage

328

Abstract

This paper aims to defeat TCG TOCTOU attacks occurring in trusted para-virtualized machines (TPVM). We propose a robust and efficient response mechanism (RERM). Compared to the existing response mechanisms, RERM is more effective in defeating the TPVM TCG TOCTOU attacks without incurring CPU overhead during the normal system execution. We verify the security ability of RERM via both model checking based formal verification techniques and experiments.

Keywords

formal verification; trusted computing; virtual machines; RERM; TCG TOCTOU attacks; TPVM; formal verification; model checking; robust and efficient response mechanism; trusted para-virtualized machines; Educational institutions; Formal verification; Kernel; Model checking; Robustness; Security; Virtual machining; TOCTOU attacks; model checking; paravirtualized virtual machine; trusted computing;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel and Distributed Computing, Applications and Technologies (PDCAT), 2012 13th International Conference on

Conference_Location

Beijing

Print_ISBN

978-0-7695-4879-1

Type

conf

DOI

10.1109/PDCAT.2012.120

Filename

6589300

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2977286