A joint project of the Graduate School, Peabody College, and the Jean & Alexander Heard Library

Title page for ETD etd-04022007-092035

Type of Document Master's Thesis
Author Eby, Matthew
Author's Email Address matthew.eby@vanderbilt.edu
URN etd-04022007-092035
Title Integrating Security Modeling into Embedded System Design
Degree Master of Science
Department Electrical Engineering
Advisory Committee
Advisor Name Title
Dr. Gabor Karsai Committee Chair
Dr. Akos Ledeczi Committee Member
  • Security Modeling
  • Embedded computer systems -- Security measures
  • Modeling
  • Model Integrating Computing
  • Metamodel Composition
  • Biba
  • Bell LaPadula
Date of Defense 2007-04-19
Availability unrestricted

There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techniques for embedded systems design. However, existing modeling tools were not designed to meet the current and future security challenges of networked embedded systems. In this thesis, a framework to incorporate security modeling into embedded system design is presented. A security analysis tool is presented which analyzes information flows within an embedded system for conformance to the Bell-LaPadula and Biba security models. This tool can easily integrate with existing tool chains to create co-design environments that address security, functionality and system architecture aspects of embedded systems concurrently. A case study is presented where the security analysis tool is integrated with SMoLES, an embedded systems design language, to create one such co-design environment.

  Filename       Size       Approximate Download Time (Hours:Minutes:Seconds) 
 28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)   Higher-speed Access 
  MatthewEbyThesis.pdf 769.04 Kb 00:03:33 00:01:49 00:01:36 00:00:48 00:00:04

Browse All Available ETDs by ( Author | Department )

If you have more questions or technical problems, please Contact LITS.