Resilient Authenticated Execution of Critical Applications in Untrusted Environments

被引:6
作者
Kirkpatrick, Michael S. [1 ]
Ghinita, Gabriel [2 ]
Bertino, Elisa [3 ]
机构
[1] James Madison Univ, Dept Comp Sci, Harrisonburg, VA 22807 USA
[2] Univ Massachusetts, Dept Comp Sci, Boston, MA 02125 USA
[3] Purdue Univ, Dept Comp Sci, W Lafayette, IN 47907 USA
关键词
Operating systems; security; virtual machine monitors;
D O I
10.1109/TDSC.2012.25
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Modern computer systems are built on a foundation of software components from a variety of vendors. While critical applications may undergo extensive testing and evaluation procedures, the heterogeneity of software sources threatens the integrity of the execution environment for these trusted programs. For instance, if an attacker can combine an application exploit with a privilege escalation vulnerability, the operating system (OS) can become corrupted. Alternatively, a malicious or faulty device driver running with kernel privileges could threaten the application. While the importance of ensuring application integrity has been studied in prior work, proposed solutions immediately terminate the application once corruption is detected. Although, this approach is sufficient for some cases, it is undesirable for many critical applications. In order to overcome this shortcoming, we have explored techniques for leveraging a trusted virtual machine monitor (VMM) to observe the application and potentially repair damage that occurs. In this paper, we describe our system design, which leverages efficient coding and authentication schemes, and we present the details of our prototype implementation to quantify the overhead of our approach. Our work shows that it is feasible to build a resilient execution environment, even in the presence of a corrupted OS kernel, with a reasonable amount of storage and performance overhead.
引用
收藏
页码:597 / 609
页数:13
相关论文
共 38 条
  • [31] Using rescue points to navigate software recovery (Short paper)
    Sidiroglou, Stelios
    Laadan, Oren
    Keromytis, Angelos D.
    Nieh, Jason
    [J]. 2007 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2007, : 273 - +
  • [32] ASSURE: Automatic Software Self-healing Using REscue points
    Sidiroglou, Stelios
    Laadan, Oren
    Perez, Carlos R.
    Viennot, Nicolas
    Nieh, Jason
    Keromytis, Angelos D.
    [J]. ACM SIGPLAN NOTICES, 2009, 44 (03) : 37 - 48
  • [33] Variant-based Competitive Parallel Execution of Sequential Programs
    Trachsel, Oliver
    Gross, Thomas R.
    [J]. PROCEEDINGS OF THE 2010 COMPUTING FRONTIERS CONFERENCE (CF 2010), 2010, : 197 - 206
  • [34] Uyeda F., 2004, CS20040798 UCSD COMP
  • [35] Wang Z., 2010, P IEEE S SEC PRIV
  • [36] Wang Z, 2009, CCS'09: PROCEEDINGS OF THE 16TH ACM CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, P545
  • [37] CuPIDS: An exploration of highly focused, co-processor-based information system protection
    Williams, Paul D.
    Spafford, Eugene H.
    [J]. COMPUTER NETWORKS, 2007, 51 (05) : 1284 - 1298
  • [38] Yang J, 2008, VEE'08: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON VIRTUAL EXECUTION ENVIRONMENTS, P71