Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Abstract intrepretation (1)
- Android (1)
- Containerization (1)
- Containers (1)
- Containment (1)
-
- Event abstraction (1)
- Forensics (1)
- Formal Methods (1)
- Geoaccuracy (1)
- Graph databases (1)
- ISR (1)
- Isabelle (1)
- KLEE (1)
- Labeled property graphs (1)
- Modeling (1)
- Modeling and Simulation (1)
- Ontology (1)
- Structure from Motion (1)
- Symbolic execution (1)
- Theorem proving (1)
- Unmanned Aerial Vehicles (1)
Articles 1 - 3 of 3
Full-Text Articles in Engineering
Assured Android Execution Environments, Brandon P. Froberg
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 …
Digital Forensics Event Graph Reconstruction, Daniel J. Schelkoph
Digital Forensics Event Graph Reconstruction, Daniel J. Schelkoph
Theses and Dissertations
Ontological data representation and data normalization can provide a structured way to correlate digital artifacts. This can reduce the amount of data that a forensics examiner needs to process in order to understand the sequence of events that happened on the system. However, ontology processing suffers from large disk consumption and a high computational cost. This paper presents Property Graph Event Reconstruction (PGER), a novel data normalization and event correlation system that leverages a native graph database to improve the speed of queries common in ontological data. PGER reduces the processing time of event correlation grammars and maintains accuracy over …
Assessment Of Structure From Motion For Reconnaissance Augmentation And Bandwidth Usage Reduction, Jonathan B. Roeber
Assessment Of Structure From Motion For Reconnaissance Augmentation And Bandwidth Usage Reduction, Jonathan B. Roeber
Theses and Dissertations
Modern militaries rely upon remote image sensors for real-time intelligence. A typical remote system consists of an unmanned aerial vehicle, or UAV, with an attached camera. A video stream is sent from the UAV, through a bandwidth-constrained satellite connection, to an intelligence processing unit. In this research, an upgrade to this method of collection is proposed. A set of synthetic images of a scene captured by a UAV in a virtual environment is sent to a pipeline of computer vision algorithms, collectively known as Structure from Motion. The output of Structure from Motion, a three-dimensional model, is then assessed in …