Physical Sciences and Mathematics Commons^™

Assured Android Execution Environments, Brandon P. Froberg

Theses and Dissertations

Current cybersecurity best practices, techniques, tactics and procedures are insufficient to ensure the protection of Android systems. Software tools leveraging formal methods use mathematical means to assure both a design and implementation for a system and these methods can be used to provide security assurances. The goal of this research is to determine methods of assuring isolation when executing Android software in a contained environment. Specifically, this research demonstrates security properties relevant to Android software containers can be formally captured and validated, and that an implementation can be formally verified to satisfy a corresponding specification. A three-stage methodology called "The …

Monitoring And Modeling The Hydrological Performance Of Extensive Green Roof Systems, Joseph Seidl

Theses and Dissertations

Urban stormwater runoff causes many problems for watersheds located within large metropolitan areas, including such detrimental effects as flooding, erosion, pollution, and the increased risk of combined sewerage overflows. Increased amounts of impervious areas resulting from urban sprawl have also been shown to escalate stormwater flows, which exacerbates water management issues in these metropolitan areas. Water resource engineers have progressively turned toward green infrastructure to solve stormwater problems, and green roof systems represent one type of this green infrastructure. As of current, however, green roof systems are largely underused in as an effective stormwater management tool.

The major factor limiting …

Modeling And Simulation Of Evacuation Plan For Hancock Stadium, Nirmal Neranjan Weerasekara

Theses and Dissertations

The goal of this study is to use Modeling and Simulation of Evacuation Plan (MSEP) to support management to execute proper evacuation plan in case of emergency at Hancock Stadium in Illinois State University. Analyses of the research literature and evacuation scenarios are used to build a simulation system that will connect a description of emergency and evacuation situation with its context. It shows how an evacuation plan actually functions. The results of the study will help safety managers to understand the current situations of evacuation according to the specific simulation scenarios. The evacuation simulation is categorized according to the …