CONFERENCE PROCEEDINGS
Advanced Search
Home > Proceedings > Volume 12119 > Article
Paper
30 May 2022 High assurance state machine microprocessor concept: Aberdeen Architecture
Patrick Jungwirth, Gregg Wildes, James Brown, Michael Crowe
Author Affiliations +
Proceedings Volume 12119, Open Architecture/Open Business Model Net-Centric Systems and Defense Transformation 2022; 1211909 (2022) https://doi.org/10.1117/12.2621053
Event: SPIE Defense + Commercial Sensing, 2022, Orlando, Florida, United States
Abstract
The Aberdeen Architecture is a high assurance microprocessor architecture concept which implements Saltzer and Schroeder’s 1975 security principles in hardware. Current microprocessors execute instructions without any verification or authentication. Saltzer and Schroeder defined fundamental security principles: complete mediation, and open design. Complete mediation means to verify access rights and authority for every operation. Protection mechanisms should be based on open design principles: protecting keys, not design secrecy. In 2002, Mann describes how secrecy makes systems brittle and subject to catastrophic failure. The Aberdeen Architecture is high assurance computer architecture based on ‘open design’ principles, complete mediation, and RISC-V instruction set architecture. Aberdeen Architecture uses several hardware state machine monitors to enforce hardware security policies for the execution pipeline. The state machines’ security policies cover instruction execution, control flow integrity, data flow integrity, and memory access integrity. The individual security policies provide overlapping coverage. The security of the whole architecture is greater than the sum of the individual parts. The Aberdeen Architecture provides near complete mediation for instruction execution. This paper presents an introduction to the Aberdeen Architecture
© (2022) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Citation Download Citation
Patrick Jungwirth, Gregg Wildes, James Brown, and Michael Crowe "High assurance state machine microprocessor concept: Aberdeen Architecture", Proc. SPIE 12119, Open Architecture/Open Business Model Net-Centric Systems and Defense Transformation 2022, 1211909 (30 May 2022); https://doi.org/10.1117/12.2621053
ACCESS THE FULL ARTICLE
ORGANIZATIONAL
Sign in with credentials provided by your organization.
INSTITUTIONAL
Select your institution to access the SPIE Digital Library.
SELECT YOUR INSTITUTION
PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.
PERSONAL SIGN IN
No SPIE Account? Create one
PURCHASE THIS CONTENT
SUBSCRIBE TO DIGITAL LIBRARY
50 downloads per 1-year subscription
Members: $195
Non-members: $335 ADD TO CART
25 downloads per 1 - year subscription
Members: $145
Non-members: $250 ADD TO CART
PURCHASE SINGLE ARTICLE
Includes PDF, HTML & Video, when available
Members: $17.00
Non-members: $21.00 ADD TO CART
PROCEEDINGS
 13 PAGES
DOWNLOAD PAPER SAVE TO MY LIBRARY
GET CITATION
Advertisement
Advertisement
RIGHTS & PERMISSIONS
Get copyright permission  Get copyright permission on Copyright Marketplace
KEYWORDS
Computer security
Information security
Computer architecture
Operating systems
Lithium
Computing systems
Microelectromechanical systems
RELATED CONTENT
Subscribe to Digital Library
Receive Erratum Email Alert
Back to Top