SecureCore software architecture: Trusted Management Layer (TML) Kernel Extension Module Integration Guide
Loading...
Authors
Shifflett, David J.
Clark, Paul C.
Irvine, Cynthia E.
Nguyen, Thuy D.
Vidas, Timothy M.
Levin, Timothy E.
Subjects
Software engineering.
Smart cards.
Software architecture.
Smart cards.
Software architecture.
Advisors
Date of Issue
2007-12
Date
Publisher
Monterey, California. Naval Postgraduate School
Language
Abstract
A mobile computing device has more inherent risk than desktops or most other stationary computing devices. Such mobile devices are typically carried outside of a controlled physical environment, and they must communicate over an insecure medium. The risk is even greater if the data being stored, processed and transmitted by the mobile device is classified. The purpose of the SecureCore research project is to investigate fundamental architectural features required for the trusted operation of mobile computing devices so the security is built-in, transparent and flexible. A building block for the SecureCore project is a Least Privilege Separation Kernel (LPSK). The LPSK together with extension modules provides the security base. Integration of extension modules with the LPSK is described, including coding techniques, and compile and link directions.
Type
Technical Report
Description
Series/Report No
Department
Computer Science
Identifiers
NPS Report Number
NPS-CS-07-022
Sponsors
Funder
Funding number: CNS-0430566.
Format
ii, 8 p.: ill.;28 cm.
Citation
Distribution Statement
Approved for public release; distribution is unlimited.