A systems approach to software security in aviation

A systems approach to software security in aviation

Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.

Bibliographic Details
Main Author:	Helfer, Jonas
Other Authors:	Nancy G. Leveson.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2016
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/103744

Similar Items

An Operations Research approach to aviation security
by: Martonosi, Susan Elizabeth
Published: (2006)

Enhancing Aviation Security: Using Smart Security and TOPSIS
by: Tan, Eugene E. Guang, et al.
Published: (2016)

Securing software : an evaluation of static source code analyzers
by: Zitser, Misha, 1979-
Published: (2005)

Securing software systems via fuzz testing and verification
by: Chen, Hongxu
Published: (2020)

Software security token for authentication
by: Lim, Jason
Published: (2015)

A software cache management system
by: Eisen, Jeffrey N
Published: (2006)

Software systems for a DNA sequencer
by: Ait-Ghezala, Ahmed, 1976-
Published: (2005)

Systems architecting of an aviation project
by: Ow Yong, Han Sui.
Published: (2010)

A tool for modeling software security requirements using security patterns
by: Maher, Zulfikar Ahmed
Published: (2016)

Data driven security analysis of open source software
by: Liu, Chengwei
Published: (2023)

Checkpoint or Chokepoint: Aviation Security Lessons from Istanbul and Brussels
by: Tan, Eugene E. Guang
Published: (2016)

A secure distributed printing system
by: Ellwood, Alexandra
Published: (2008)

Unstable approach in aviation : causal factors and preventive interventions
by: Lee, Basil Wei Jie
Published: (2017)

Securing industry IoT systems with cyber security and fault diagnosis approaches
by: Lyu, Yuansen
Published: (2019)

Unstable approach in aviation : causal factors and preventive interventions
by: Lai, Hsueh-Yi
Published: (2020)

Performance evaluation of security software for Android smartphone
by: Ang, Jing Jie
Published: (2015)

Leveraging deep learning techniques to secure software development
by: Siow, Jing Kai
Published: (2022)

A highly configurable software bug tracking system
by: Tait, Calista (Calista Elizabeth), 1975-
Published: (2013)

A software-based ultrasound system for medical diagnosis
by: Thandani, Samir Ram
Published: (2008)

Information Systems Security Practices in Social Software Applications: A Systematic Literature Review
by: Norman, A.A., et al.
Published: (2016)

Energy efficient operating systems and software
by: Sinha, Amit, 1976-
Published: (2014)

Software-hardware systems for the Internet-of-Things
by: Salehi-Abari, Omid
Published: (2018)

Security challenges in automotive hardware/software architecture design
by: Sagstetter, Florian, et al.
Published: (2013)

Security enhancement for software defined networking
by: Cho, Wai Hlaing
Published: (2019)

Automatic software upgrades for distributed systems
by: Ajmani, Sameer, 1976-
Published: (2005)

SoftECC : a system for software memory integrity checking
by: Dopson, Dave
Published: (2007)

A Framework for Dependability analysis of software systems with trusted bases
by: Kang, Eunsuk
Published: (2010)

SodaBot--a software agent environment and construction system
by: Coen, Michael Harlan
Published: (2005)

A hardware-defined approach to software-defined radios : improving performance without trading In flexibility
by: Aryan, Omid
Published: (2014)

A partial implementation of a modular system for software safety analysis
by: Pickett, Sara C. (Sara Catherine), 1976-
Published: (2014)

Building dependability arguments for software intensive systems
by: Seater, Robert Morrison
Published: (2009)

The Hob system for verifying software design properties
by: Lam, Patrick, Ph. D. Massachusetts Institute of Technology
Published: (2007)

Software-assisted cache mechanisms for embedded systems
by: Jain, Prabhat
Published: (2008)

A file system design for the Aeolus security platform
by: McKee, Francis Peter
Published: (2013)

SSPARCy : a software integration support and design rationale capture system
by: Scott, Quincy R. (Quincy Roy), 1978-
Published: (2014)

Maps : a compiler-managed memory system for software-exposed architectures
by: Barua, Rajeev K. (Rajeev Kumar)
Published: (2007)

The helicopter innovation in Army aviation
by: Keener, Joseph Kristopher, 1975-
Published: (2005)

Supporting system development by novice software engineers using a tutor-based software visualization (TubVis) approach
by: Sulaiman, Shahida, et al.
Published: (2008)

Retrofit systems for reconfiguration in civil aviation
by: Wohletz, Jerry M. (Jerry Matthew), 1971-
Published: (2005)

An extensible, intelligent system for applying software development knowledge
by: Grucza, Jennifer E. (Jennifer Ellen), 1976-
Published: (2013)