Scalable Architectural Support for Trusted Software

被引:0
|
作者
Champagne, David [1 ]
Lee, Ruby B. [1 ]
机构
[1] Princeton Univ, Princeton, NJ 08544 USA
来源
HPCA-16 2010: SIXTEENTH INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE COMPUTER ARCHITECTURE, PROCEEDINGS | 2010年
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We present Bastion, a new hardware-software architecture for protecting security-critical software modules in an untrusted software stack. Our architecture is composed of enhanced microprocessor hardware and enhanced hypervisor software. Each trusted software module is provided with a secure, fine-grained memory compartment and its own secure persistent storage area. Bastion is the first architecture to provide direct hardware protection of the hypervisor from both software and physical attacks, before employing the hypervisor to provide the same protection to security-critical OS and application modules. Our implementation demonstrates the feasibility of bypassing an untrusted commodity OS to provide application security and shows better security with higher performance when compared to the Trusted Platform Module (TPM), the current industry state-of-the-art security chip. We provide a proof-of-concept implementation on the OpenSPARC platform.
引用
收藏
页码:31 / 42
页数:12
相关论文
共 50 条
  • [31] Careful-Packing: A Practical and Scalable Anti-Tampering Software Protection enforced by Trusted Computing
    Toffalini, Flavio
    Ochoa, Martin
    Jun, Sun
    Zhou, Jianying
    PROCEEDINGS OF THE NINTH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY (CODASPY '19), 2019, : 231 - 242
  • [33] Techniques for trusted software engineering
    Devanbu, PT
    Fong, PWL
    Stubblebine, SG
    PROCEEDINGS OF THE 1998 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1998, : 126 - 135
  • [34] An Architectural Model for Trusted Domains in Web Services
    Casola, Valentina
    Coppolino, Luigi
    Rak, Massimiliano
    JOURNAL OF INFORMATION ASSURANCE AND SECURITY, 2006, 1 (02): : 107 - 118
  • [35] Enabling trusted software integrity
    Kirovski, D
    Drinic, M
    Potkonjak, M
    ACM SIGPLAN NOTICES, 2002, 37 (10) : 108 - 120
  • [36] Trusted Software Supply Chain
    Singi, Kapil
    Bose, R. P. Jagadeesh Chandra
    Podder, Sanjay
    Burden, Adam P.
    34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019), 2019, : 1212 - 1213
  • [37] Single Attestation Image for a Trusted and Scalable Grid
    Deng, Yuhui
    Helian, Na
    INTERNATIONAL JOURNAL OF GRID AND HIGH PERFORMANCE COMPUTING, 2010, 2 (01) : 21 - 33
  • [38] A discreet, fault-tolerant, and scalable software architectural style for Internet-sized networks
    Brun, Yuriy
    29th International Conference on Software Engineering: ICSE 2007 Companion Volume, Proceedings, 2007, : 83 - 84
  • [39] RELIABILITY MODELING OF HARDWARE/SOFTWARE SYSTEMS TO SUPPORT ARCHITECTURAL TRADE-OFFs
    Goddard, Peter L.
    Friedman, Michael A.
    INCOSE International Symposium, 1992, 2 (01) : 281 - 286
  • [40] Architectural Design of Trusted Platform for IaaS Cloud Computing
    Kashif, Ubaidullah Alias
    Memon, Zulfiqar Ali
    Siddiqui, Shafaq
    Balouch, Abdul Rasheed
    Batra, Rakhi
    INTERNATIONAL JOURNAL OF CLOUD APPLICATIONS AND COMPUTING, 2018, 8 (02) : 47 - 65