Software Engineering Institute

Aaron Greenhouse

Aaron Greenhouse is an SEI alumni employee.

Aaron Greenhouse

All

Tech Publications

Blog Posts

Podcasts

A Semantics of AADL EMV2 and Its Application to Model-Based Fault Tree Generation

September 11, 2025 • Technical Report

By Aaron Greenhouse , Jerome Hugues , Sam Procter , Lutz Wrage , Joe Seibel

11 Rules for Ensuring a Security Model with AADL and Bell–LaPadula

July 29, 2021 • Podcast

By Aaron Greenhouse

Automating System Security with AADL: 11 Rules for Ensuring a Security Model

April 26, 2021 • Blog Post

By Aaron Greenhouse

Modeling and Validating Security and Confidentiality in System Architectures

March 19, 2021 • Technical Report

By Aaron Greenhouse , Jörgen Hansson (University of Skovde) , Lutz Wrage

Results of SEI Independent Research and Development Projects (FY 2006)

July 1, 2007 • Technical Report

By Christopher J. Alberts , William Anderson , Len Bass , Matt Bass , Philip J. Boxer , Lisa Brownsword , Sagar Chaki , Peter H. Feiler , David Fisher , Eileen C. Forrester , Suzanne Miller , Aaron Greenhouse , Jörgen Hansson (University of Skovde) , James D. Herbsleb , James Ivers , Peter Lee , Richard C. Linger (Oak Ridge National Laboratory) , Thomas A. Longstaff , Pratyusa K. Manadhata , B. Craig Meyers , Mike Phillips , Carol Sledge , James Smith , Kurt C. Wallnau , Gwendolyn H. Walton , J. Wing , Noam Zeilberger

More from Aaron Greenhouse

A Semantics of AADL EMV2 and Its Application to Model-Based Fault Tree Generation

September 11, 2025 • Technical Report

By Aaron Greenhouse , Jerome Hugues , Sam Procter , Lutz Wrage , Joe Seibel

Modeling and Validating Security and Confidentiality in System Architectures

March 19, 2021 • Technical Report

By Aaron Greenhouse , Jörgen Hansson (University of Skovde) , Lutz Wrage

Results of SEI Independent Research and Development Projects (FY 2006)

July 1, 2007 • Technical Report

By Christopher J. Alberts , William Anderson , Len Bass , Matt Bass , Philip J. Boxer , Lisa Brownsword , Sagar Chaki , Peter H. Feiler , David Fisher , Eileen C. Forrester , Suzanne Miller , Aaron Greenhouse , Jörgen Hansson (University of Skovde) , James D. Herbsleb , James Ivers , Peter Lee , Richard C. Linger (Oak Ridge National Laboratory) , Thomas A. Longstaff , Pratyusa K. Manadhata , B. Craig Meyers , Mike Phillips , Carol Sledge , James Smith , Kurt C. Wallnau , Gwendolyn H. Walton , J. Wing , Noam Zeilberger

Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY2005)

December 1, 2005 • Technical Report

By Rosann W. Collins , Sagar Chaki , Peter H. Feiler , John B. Goodenough , Aaron Greenhouse , Jörgen Hansson (University of Skovde) , Alan R. Hevner (University of South Florida) , John J. Hudak , Angel Jordan , Rick Kazman , Richard C. Linger (Oak Ridge National Laboratory) , Mark Pleszkoch , Stacy J. Prowell , Natasha Sharygina , Kurt C. Wallnau , Gwendolyn H. Walton , Charles Weinstock , Lutz Wrage

More from Aaron Greenhouse

Automating System Security with AADL: 11 Rules for Ensuring a Security Model

April 26, 2021 • Blog Post

By Aaron Greenhouse

More from Aaron Greenhouse

11 Rules for Ensuring a Security Model with AADL and Bell–LaPadula

July 29, 2021 • Podcast

By Aaron Greenhouse

More from Aaron Greenhouse