Microkernel security evaluation.

Microkernel;SL4;Security

Kevin C. Kurtz

University:University of Louisville

Department:Electrical and Computer Engineering

关键词: Microkernel;    SL4;    Security;   

Others  :  https://ir.library.louisville.edu/cgi/viewcontent.cgi?article=1783&context=etd

美国|英语

来源: The Universite of Louisville's Institutional Repository

【 摘 要 】

This thesis documents the successful development and testing of a more secure industrial control system field device architecture and software. The implementation of a secure field device has had limitations in the past due to a lack of secure operating system and guidelines. With the recent verification of OK Labs SEL4 microkernel, a verified operating system for such devices is possible, creating a possibility for a secure field device following open standards using known security protocols and low level memory and functionary isolation. The virtualized prototype makes use of common hardware and an existing secure field device architecture to implement a new level of security where the device is verified to function as expected. The experimental evaluation provides performance data which indicates the usefulness of the architecture in the field and security function integration testing to guarantee secure programs can be implemented on the device. Results of the devices functionality are hopeful, showing useful performance for many applications and further development as a fully functional secure field device.