Date of Award
1988
Document Type
Thesis
Publication Status
Version of Record
Submission Date
October 2026
Thesis/Dissertation Advisor [Chair]
Fernandez, Eduardo B.
Abstract
Microprocessor design for data security is examined with regard to both methodology and implementation. The examination begins with seven commercial 32-bit microprocessors which are evaluated against a set of previously published requirements for secure hardware. Then, the methodology and implementation of data secure microprocessor design is presented using an original design. The presentation includes a description of the security policy implemented, a model of secure operation, and a detailed description of the design. The security-related overhead of the new design is compared to that of two commercial microprocessors. The design is then validated with a formal proof. Finally, the design is shown to protect against several generic attacks.
Extent
143 p.
Recommended Citation
Clifton, Daniel B., "Microprocessor design for non-discretionary multilevel security" (1988). Electronic Theses and Dissertations 1980 - 1989. 649.
https://digitalcommons.fau.edu/etd_general_3/649
Identifier
FADT14443
Comments
College of Engineering and Computer Science|FAU Electronic Theses and Dissertations Collection|Thesis (M.S.C.E.)--Florida Atlantic University, 1988.|College of Engineering and Computer Science