Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Air Force Institute of Technology

Discipline
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 2671 - 2700 of 5606

Full-Text Articles in Entire DC Network

An Inverse Kinematic Mathematical Model Using Groebner Basis Theory For Arm Swing Movement In The Gait Cycle, Kimberly D. Kendricks, Adam M. Fullenkamp, Robert Mcgrellis, Jonathan Juhl, Ronald F. Tuttle Jul 2010

An Inverse Kinematic Mathematical Model Using Groebner Basis Theory For Arm Swing Movement In The Gait Cycle, Kimberly D. Kendricks, Adam M. Fullenkamp, Robert Mcgrellis, Jonathan Juhl, Ronald F. Tuttle

Faculty Publications

Two important indicators in the gait cycle: arm swing and foot placement, when isolated, provide key information about future behaviors in the gait cycle. Through video captured data, the INSPIRE (Integration of a Sensor Package for Identifying Radical Extremists) project seeks to identify gait characteristics in arm and leg swing movement to recognize threatening individuals. In particular, one approach discussed in this paper uses Groebner Basis Theory to model arm swing movement in the gait cycle. Through inverse kinematics, joint configurations of the shoulder and elbow are found to place the wrist at a specific position and orientation in the …


Simulating Windows-Based Cyber Attacks Using Live Virtual Machine Introspection, Dustyn A. Dodge, Barry E. Mullins, Gilbert L. Peterson, James S. Okolica Jul 2010

Simulating Windows-Based Cyber Attacks Using Live Virtual Machine Introspection, Dustyn A. Dodge, Barry E. Mullins, Gilbert L. Peterson, James S. Okolica

Faculty Publications

Static memory analysis has been proven a valuable technique for digital forensics. However, the memory capture technique halts the system causing the loss of important dynamic system data. As a result, live analysis techniques have emerged to complement static analysis. In this paper, a compiled memory analysis tool for virtualization (CMAT-V) is presented as a virtual machine introspection (VMI) utility to conduct live analysis during simulated cyber attacks. CMAT-V leverages static memory dump analysis techniques to provide live system state awareness. CMAT-V parses an arbitrary memory dump from a simulated guest operating system (OS) to extract user information, network usage, …


An Integrity Framework For Image-Based Navigation Systems, Craig D. Larson Jun 2010

An Integrity Framework For Image-Based Navigation Systems, Craig D. Larson

Theses and Dissertations

This work first examines fundamental differences between measurement models established for GPS and those of proposed image-based navigation systems. In contrast to single value per satellite GPS pseudorange measurements, image measurements are inherently angle-based and represent pixel coordinate pairs for each mapped target. Thus, in the image-based case, special consideration must be given to the units of the transformations between the states and measurements, and also to the fact that multiple rows of the observation matrix relate to particular error states. An algorithm is developed to instantiate a framework for image-based integrity analogous to that of GPS RAIM. The algorithm …


Developing A Hybrid Virtualization Platform Design For Cyber Warfare And Simulation, Kyle E. Stewart Jun 2010

Developing A Hybrid Virtualization Platform Design For Cyber Warfare And Simulation, Kyle E. Stewart

Theses and Dissertations

Virtualization is a technique used to model and simulate the cyber domain, as well as train and educate. Different types of virtualization techniques exist that each support a unique set of benefits and requirements. This research proposes a novel design that incorporates host and network virtualization concepts for a cyber warfare training platform. At the host level, hybrid virtualization combines full and operating system virtualization techniques in order to leverage the benefits and minimize the drawbacks of each individual technique. Network virtualization allows virtual machines to connect in flexible topologies, but it also incurs additional processing overhead. Quantitative analysis falls …


Deterministic, Efficient Variation Of Circuit Components To Improve Resistance To Reverse Engineering, Daniel F. Koranek Jun 2010

Deterministic, Efficient Variation Of Circuit Components To Improve Resistance To Reverse Engineering, Daniel F. Koranek

Theses and Dissertations

This research proposes two alternative methods for generating semantically equivalent circuit variants which leave the circuit's internal structure pseudo-randomly determined. Component fusion deterministically selects subcircuits using a component identification algorithm and replaces them using a deterministic algorithm that generates canonical logic forms. Component encryption seeks to alter the semantics of individual circuit components using an encoding function, but preserves the overall circuit semantics by decoding signal values later in the circuit. Experiments were conducted to examine the performance of component fusion and component encryption against representative trials of subcircuit selection-and-replacement and Boundary Blurring, two previously defined methods for circuit obfuscation. …


An Application Of Automated Theorem Provers To Computer System Security: The Schematic Protection Model, Mitchell D.I. Hirschfeld Jun 2010

An Application Of Automated Theorem Provers To Computer System Security: The Schematic Protection Model, Mitchell D.I. Hirschfeld

Theses and Dissertations

The Schematic Protection Model is specified in SAL and theorems about Take-Grant and New Technology File System schemes are proven. Arbitrary systems can be specified in SPM and analyzed. This is the first known automated analysis of SPM specifications in a theorem prover. The SPM specification was created in such a way that new specifications share the underlying framework and are configurable within the specifications file alone. This allows new specifications to be created with ease as demonstrated by the four unique models included within this document. This also allows future users to more easily specify models without recreating the …


A Photogrammetry-Based Hybrid System For Dynamic Tracking And Measurement, Daniel P. Magree Jun 2010

A Photogrammetry-Based Hybrid System For Dynamic Tracking And Measurement, Daniel P. Magree

Theses and Dissertations

Noncontact measurements of lightweight flexible aerospace structures present several challenges. Objects are usually mounted on a test stand because current noncontact measurement techniques require that the net motion of the object be zero. However, it is often desirable to take measurements of the object under operational conditions, and in the case of miniature aerial vehicles (MAVs) and deploying space structures, the test article will undergo significant translational motion. This thesis describes a hybrid noncontact measurement system which will enable measurement of structural kinematics of an object freely moving about a volume. By using a real-time videogrammetry system, a set of …


Use Of Negation In Search, Kristen M. Lancaster Jun 2010

Use Of Negation In Search, Kristen M. Lancaster

Theses and Dissertations

Boolean algebra was developed in the 1840s. Since that time, negation, one of the three basic concepts in Boolean algebra, has influenced the fields of information science and information retrieval, particularly in the modern computer era. In Web search engines, one of the present manifestations of information retrieval, little use is being made of this functionality and so little attention is given to it in the literature. This study aims to bolster the understanding of the use and usefulness of negation. Specifically, an Internet search task was developed for which negation was the most appropriate search strategy. This search task …


Contract Over Target Baseline (Otb) Effect On Earned Value Management's Cost Performance Index (Cpi), Dennis E. Jack Jun 2010

Contract Over Target Baseline (Otb) Effect On Earned Value Management's Cost Performance Index (Cpi), Dennis E. Jack

Theses and Dissertations

Cost growth is a problem in U.S. Department of Defense (DoD) acquisitions. A particular component of cost growth is a cost overrun or Over Target Baseline (OTB). In 2009, Trahan found that the Gompertz growth curve better predicted program Estimates at Completion (EAC) for OTB contracts. In 2010, Thickstun studied “the relationships between overruns and a variety of factors,” but found OTB occurrences “random” and questioned the benefit of the OTB process (Thickstun, 2010). In this research, we study OTB‟s ability to effect improved program cost performance; we examine OTB‟s effect on the cumulative Cost Performance Index (CPI) slope after …


Electronic Structure Of Lithium Tetraborate, David J. Wooten Jun 2010

Electronic Structure Of Lithium Tetraborate, David J. Wooten

Theses and Dissertations

Due to interest as neutron detection material, an investigation of Li2B4O7(110) and Li2B4O7(100) was undertaken, utilizing photoemission and inverse photoemission spectroscopic techniques. The measured band gap depended on crystallographic direction with the band gaps ranging from 8.9±0.5 eV to 10.1±0.5 eV. The measurement yielded a density of states that qualitatively agreed with the theoretical results from model bulk band structure calculations for Li2B4O7; albeit with a larger band gap than predicted, but consistent with the known deficiencies of LDA and DFT calculations. …


Realistic Vertical Atmospheric Profiles And Effects From Limited Surface Observations, Dane P. Ranney Jun 2010

Realistic Vertical Atmospheric Profiles And Effects From Limited Surface Observations, Dane P. Ranney

Theses and Dissertations

The ability to accurately describe the atmospheric conditions around us is not only important to the Air Force, but to anyone involved in signal propagation. The programs currently utilized to describe the atmosphere take into account a variety of measures. The LEEDR (Laser Environmental Effects Definition and Reference) program in particular, allows the user to select a location, aerosol and molecular effects model, numerous cloud and precipitation events, as well as other features. Even with the control that the user has, the output that the program provides can vary from actual conditions on a day to day basis. This is …


The Combined Effects Of Radio Frequency And Gamma Irradiation On P-Channel Mosfets, Joshua D. Daniel Jun 2010

The Combined Effects Of Radio Frequency And Gamma Irradiation On P-Channel Mosfets, Joshua D. Daniel

Theses and Dissertations

The purpose of this research was to investigate the combined effects of continuous gigahertz radio frequency signals and gamma irradiation on the threshold voltage of metal oxide semiconductor field effect transistors. The combined effects of gigahertz radio frequency waves and gamma irradiation on electronics presents a new challenge in electronic warfare and little is known of the combined effect on threshold voltage damage and recovery. The Fairchild NDS352AP, a commonly used commercial device, was irradiated by a cobalt-60 source under a +5 V bias with and without a radio frequency signal applied to the gate. The threshold voltage was measured …


A Locally Adaptable Iterative Rx Detector, Yuri P. Taitano, Brian G. Geier, Kenneth W. Bauer May 2010

A Locally Adaptable Iterative Rx Detector, Yuri P. Taitano, Brian G. Geier, Kenneth W. Bauer

Faculty Publications

We present an unsupervised anomaly detection method for hyperspectral imagery (HSI) based on data characteristics inherit in HSI. A locally adaptive technique of iteratively refining the well-known RX detector (LAIRX) is developed. The technique is motivated by the need for better first- and second-order statistic estimation via avoidance of anomaly presence. Overall, experiments show favorable Receiver Operating Characteristic (ROC) curves when compared to a global anomaly detector based upon the Support Vector Data Description (SVDD) algorithm, the conventional RX detector, and decomposed versions of the LAIRX detector. Furthermore, the utilization of parallel and distributed processing allows fast processing time making …


Developing Cyberspace Data Understanding Using Crisp-Dm For Host-Based Ids Feature Mining, Joseph R. Erskine, Gilbert L. Peterson, Barry E. Mullins, Michael R. Grimaila Apr 2010

Developing Cyberspace Data Understanding Using Crisp-Dm For Host-Based Ids Feature Mining, Joseph R. Erskine, Gilbert L. Peterson, Barry E. Mullins, Michael R. Grimaila

Faculty Publications

Current intrusion detection systems (IDS) generate a large number of specific alerts, but typically do not provide actionable information. Compounding this problem is the fact that many alerts are false positive alerts. This paper applies the Cross Industry Standard Process for Data Mining (CRISP-DM) to develop an understanding of a host environment under attack. Data is generated by launching scans and exploits at a machine outfitted with a set of host-based forensic data collectors. Through knowledge discovery, features are selected to project human understanding of the attack process into the IDS model. By discovering relationships between the data collected and …


Developing A Qualia-Based Multi-Agent Architecture For Use In Malware Detection, Bobby D. Birrer Mar 2010

Developing A Qualia-Based Multi-Agent Architecture For Use In Malware Detection, Bobby D. Birrer

Theses and Dissertations

Detecting network intruders and malicious software is a significant problem for network administrators and security experts. New threats are emerging at an increasing rate, and current signature and statistics-based techniques are not keeping pace. Intelligent systems that can adapt to new threats are needed to mitigate these new strains of malware as they are released. This research detects malware based on its qualia, or essence rather than its low-level implementation details. By looking for the underlying concepts that make a piece of software malicious, this research avoids the pitfalls of static solutions that focus on predefined bit sequence signatures or …


Coalition Formation Under Uncertainty, Daylond J. Hooper Mar 2010

Coalition Formation Under Uncertainty, Daylond J. Hooper

Theses and Dissertations

Many multiagent systems require allocation of agents to tasks in order to ensure successful task execution. Most systems that perform this allocation assume that the quantity of agents needed for a task is known beforehand. Coalition formation approaches relax this assumption, allowing multiple agents to be dynamically assigned. Unfortunately, many current approaches to coalition formation lack provisions for uncertainty. This prevents application of coalition formation techniques to complex domains, such as real-world robotic systems and agent domains where full state knowledge is not available. Those that do handle uncertainty have no ability to handle dynamic addition or removal of agents …


Spectrally-Temporally Adapted Spectrally Modulated Spectrally Encoded (Smse) Waveform Design For Coexistent Cr-Based Sdr Applications, Eric C. Like Mar 2010

Spectrally-Temporally Adapted Spectrally Modulated Spectrally Encoded (Smse) Waveform Design For Coexistent Cr-Based Sdr Applications, Eric C. Like

Theses and Dissertations

This work expands the applicability of the Spectrally Modulated, Spectrally Encoded (SMSE) framework by developing a waveform optimization process that enables intelligent waveform design. The resultant waveforms are capable of adapting to a spectrally diverse transmission channel while meeting coexistent constraints. SMSE waveform design is investigated with respect to two different forms of coexisting signal constraints, including those based on resultant interference levels and those based on resultant power spectrum shape. As demonstrated, the SMSE framework is well-suited for waveform optimization given its ability to allow independent design of spectral parameters. This utility is greatly enhanced when soft decision selection …


Flexible Computing Architecture For Real Time Skin Detection, Matthew P. Hornung Mar 2010

Flexible Computing Architecture For Real Time Skin Detection, Matthew P. Hornung

Theses and Dissertations

In both the Air Force and Search and Rescue Communities, there is a current need to detect and characterize persons. Existing methods use red-green-blue (RGB) imagery, but produce high false alarm rates. New technology in multi-spectral skin detection is better than the existing RGB methods, but lacks a control and processing architecture to make them efficient for real time problems. We hypothesize that taking a minimalistic approach to the software design, we can perform image preprocessing, feature computation, and skin detection in real time. A number of applications require accurate detection and characterization of persons, human measurement and signature intelligence …


Multi-Objective Constraint Satisfaction For Mobile Robot Area Defense, Kenneth W. Mayo Mar 2010

Multi-Objective Constraint Satisfaction For Mobile Robot Area Defense, Kenneth W. Mayo

Theses and Dissertations

In developing multi-robot cooperative systems, there are often competing objectives that need to be met. For example in automating area defense systems, multiple robots must work together to explore the entire area, and maintain consistent communications to alert the other agents and ensure trust in the system. This research presents an algorithm that tasks robots to meet the two specific goals of exploration and communication maintenance in an uncoordinated environment reducing the need for a user to pre-balance the objectives. This multi-objective problem is defined as a constraint satisfaction problem solved using the Non-dominated Sorting Genetic Algorithm II (NSGA-II). Both …


Development Of A Methodology For Customizing Insider Threat Auditing On A Linux Operating System, William T. Bai Mar 2010

Development Of A Methodology For Customizing Insider Threat Auditing On A Linux Operating System, William T. Bai

Theses and Dissertations

Insider threats can pose a great risk to organizations and by their very nature are difficult to protect against. Auditing and system logging are capabilities present in most operating systems and can be used for detecting insider activity. However, current auditing methods are typically applied in a haphazard way, if at all, and are not conducive to contributing to an effective insider threat security policy. This research develops a methodology for designing a customized auditing and logging template for a Linux operating system. An intent-based insider threat risk assessment methodology is presented to create use case scenarios tailored to address …


Performance Characteristics Of A Kernel-Space Packet Capture Module, Samuel W. Birch Mar 2010

Performance Characteristics Of A Kernel-Space Packet Capture Module, Samuel W. Birch

Theses and Dissertations

Defending networks, network-connected assets, and the information they both carry and store is an operational challenge and a significant drain on resources. A plethora of historical and ongoing research efforts are focused on increasing the effectiveness of the defenses or reducing the costs of existing defenses. One valuable facet in defense is the ability to perform post mortem analysis of incidents that have occurred, and this tactic requires accurate storage and rapid retrieval of vast quantities of historical network data. This research improves the efficiency of capturing network packets to disk using commodity, general-purpose hardware and operating systems. It examines …


A Distributed Network Logging Topology, Nicholas E. Fritts Mar 2010

A Distributed Network Logging Topology, Nicholas E. Fritts

Theses and Dissertations

Network logging is used to monitor computer systems for potential problems and threats by network administrators. Research has found that the more logging enabled, the more potential threats can be detected in the logs (Levoy, 2006). However, generally it is considered too costly to dedicate the manpower required to analyze the amount of logging data that it is possible to generate. Current research is working on different correlation and parsing techniques to help filter the data, but these methods function by having all of the data dumped in to a central repository. Central repositories are limited in the amount of …


Visually Managing Ipsec, Peter J. Dell'accio Mar 2010

Visually Managing Ipsec, Peter J. Dell'accio

Theses and Dissertations

The United States Air Force relies heavily on computer networks to transmit vast amounts of information throughout its organizations and with agencies throughout the Department of Defense. The data take many forms, utilize different protocols, and originate from various platforms and applications. It is not practical to apply security measures specific to individual applications, platforms, and protocols. Internet Protocol Security (IPsec) is a set of protocols designed to secure data traveling over IP networks, including the Internet. By applying security at the network layer of communications, data packets can be secured regardless of what application generated the data or which …


Handshaking Protocols And Jamming Mechanisms For Blind Rendezvous In A Dynamic Spectrum Access Environment, Aaron A. Gross Mar 2010

Handshaking Protocols And Jamming Mechanisms For Blind Rendezvous In A Dynamic Spectrum Access Environment, Aaron A. Gross

Theses and Dissertations

Blind frequency rendezvous is an important process for bootstrapping communications between radios without the use of pre-existing infrastructure or common control channel in a Dynamic Spectrum Access (DSA) environment. In this process, radios attempt to arrive in the same frequency channel and recognize each other’s presence in changing, under-utilized spectrum. This paper refines existing blind rendezvous techniques by introducing a handshaking algorithm for setting up communications once two radios have arrived in the same frequency channel. It then investigates the effect of different jamming techniques on blind rendezvous algorithms that utilize this handshake. The handshake performance is measured by determining …


Codifying Information Assurance Controls For Department Of Defense (Dod) Supervisory Control And Data Acquisition (Scada) Systems (U), Eddie A. Mendezllovet Mar 2010

Codifying Information Assurance Controls For Department Of Defense (Dod) Supervisory Control And Data Acquisition (Scada) Systems (U), Eddie A. Mendezllovet

Theses and Dissertations

Protecting DoD critical infrastructure resources and Supervisory Control and Data Acquisition (SCADA) systems from cyber attacks is becoming an increasingly challenging task. DoD Information Assurance controls provide a sound framework to achieve an appropriate level of confidentiality, integrity, and availability. However, these controls have not been updated since 2003 and currently do not adequately address the security of DoD SCADA systems. This research sampled U.S. Air Force Civil Engineering subject matter experts representing eight Major Commands that manage and operate SCADA systems. They ranked 30 IA controls in three categories, and evaluated eight SCADA specific IA controls for inclusion into …


Developing Cyberspace Data Understanding: Using Crisp-Dm For Host-Based Ids Feature Mining, Joseph R. Erskine Mar 2010

Developing Cyberspace Data Understanding: Using Crisp-Dm For Host-Based Ids Feature Mining, Joseph R. Erskine

Theses and Dissertations

Current intrusion detection systems generate a large number of specific alerts, but do not provide actionable information. Many times, these alerts must be analyzed by a network defender, a time consuming and tedious task which can occur hours or days after an attack occurs. Improved understanding of the cyberspace domain can lead to great advancements in Cyberspace situational awareness research and development. This thesis applies the Cross Industry Standard Process for Data Mining (CRISP-DM) to develop an understanding about a host system under attack. Data is generated by launching scans and exploits at a machine outfitted with a set of …


Augmenting Latent Dirichlet Allocation And Rank Threshold Detection With Ontologies, Laura A. Isaly Mar 2010

Augmenting Latent Dirichlet Allocation And Rank Threshold Detection With Ontologies, Laura A. Isaly

Theses and Dissertations

In an ever-increasing data rich environment, actionable information must be extracted, filtered, and correlated from massive amounts of disparate often free text sources. The usefulness of the retrieved information depends on how we accomplish these steps and present the most relevant information to the analyst. One method for extracting information from free text is Latent Dirichlet Allocation (LDA), a document categorization technique to classify documents into cohesive topics. Although LDA accounts for some implicit relationships such as synonymy (same meaning) it often ignores other semantic relationships such as polysemy (different meanings), hyponym (subordinate), meronym (part of), and troponomys (manner). To …


Evolutionary Artificial Neural Network Weight Tuning To Optimize Decision Making For An Abstract Game, Corey M. Miller Mar 2010

Evolutionary Artificial Neural Network Weight Tuning To Optimize Decision Making For An Abstract Game, Corey M. Miller

Theses and Dissertations

Abstract strategy games present a deterministic perfect information environment with which to test the strategic capabilities of artificial intelligence systems. With no unknowns or random elements, only the competitors’ performances impact the results. This thesis takes one such game, Lines of Action, and attempts to develop a competitive heuristic. Due to the complexity of Lines of Action, artificial neural networks are utilized to model the relative values of board states. An application, pLoGANN (Parallel Lines of Action with Genetic Algorithm and Neural Networks), is developed to train the weights of this neural network by implementing a genetic algorithm over a …


Developing An Effective And Efficient Real Time Strategy Agent For Use As A Computer Generated Force, Kurt Weissgerber Mar 2010

Developing An Effective And Efficient Real Time Strategy Agent For Use As A Computer Generated Force, Kurt Weissgerber

Theses and Dissertations

Computer Generated Forces (CGF) are used to represent units or individuals in military training and constructive simulation. The use of CGF significantly reduces the time and money required for effective training. For CGF to be effective, they must behave as a human would in the same environment. Real Time Strategy (RTS) games place players in control of a large force whose goal is to defeat the opponent. The military setting of RTS games makes them an excellent platform for the development and testing of CGF. While there has been significant research in RTS agent development, most of the developed agents …


Utilizing The Digital Fingerprint Method For Secure Key Generation, Jennifer C. Anilao Mar 2010

Utilizing The Digital Fingerprint Method For Secure Key Generation, Jennifer C. Anilao

Theses and Dissertations

This research examines a new way to generate an uncloneable secure key by taking advantage of the delay characteristics of individual transistors. The user profiles the circuit to deduce the glitch count of each output line for each number of selectable buffers added to the circuit. The user can then use this information to generate a specific glitch count on each output line, which is passed to an encryption algorithm as its key. The results detail tests of two configurations for adding a selectable amount of buffers into each glitch circuit in order to induce additional delay. One configuration adds …