Engineering Commons^™

Toward A Formalism Of Modeling And Simulation Using Model Theory, Saikou Y. Diallo, Jose Padilla, Ross Gore, Heber Herencia-Zapana, Andreas Tolk

VMASC Publications

This article proposes a Modeling and Simulation (M&S) formalism using Model Theory. The article departs from the premise that M&S is the science that studies the nature of truth using models and simulations. Truth in models and simulations is relative as they seek to answer specific modeling questions. Consequently, truth in M&S is relative because every model is a purposeful abstraction of reality. We use Model Theory to express the proposed formalism because it is built from the premise that truth is relative. The proposed formalism allows us to: (1) deduce formal definitions and explanations of areas of study in …

Generic Incident Model For Investigating Traffic Incident Impacts On Evacuation Times In Large-Scale Emergencies, Andrew J. Collins, Peter Foytik, Erika Frydenlund, R. Michael Robinson, Craig A. Jordan

VMASC Publications

Traffic incidents cause a ripple effect of reduced travel speeds, lane changes, and the pursuit of alternative routes that results in gridlock on the immediately affected and surrounding roadways. The disruptions caused by the secondary effects significantly degrade travel time reliability, which is of great concern to the emergency planners who manage evacuations. Outcomes forecast by a generic incident model embedded in a microscopic evacuation simulation, the Real-Time Evacuation Planning Model (RtePM), were examined to quantify the change in time required for an emergency evacuation that results from traffic incidents. The incident model considered vehicle miles traveled on each individual …

Art Or Science?, Allison Marsh

Section 3: Imaging the Fast Moving

No abstract provided.

Books And Our Human Stories, Paul H. Benson

Philosophy Faculty Publications

An essay on the impact of the works in the Imprints and Impressions: Milestones in Human Progress, an exhibition of rare books from the collection of Stuart Rose. Exhibition was held Sept. 29-Nov. 9, 2014, at the University of Dayton.

Decision To Use An Airframe Parachute In A Flight Training Environment, Scott R. Winter, Richard O. Fanjoy, Chien-Tsung Lu, Thomas Q. Carney, James P. Greenan

Publications

The purpose of this study was to complete a qualitative analysis of the decision-making process used by pilots to determine whether or not to deploy an airframe parachute system. A sample of participants from the subject university’s flight training program was selected to complete a scripted simulator flight in instrument flight conditions. During the flight, participants experienced an engine failure while enroute during IFR conditions. The script was examined and validated by an expert panel who determined use of the airframe parachute was the most appropriate outcome for the scenario. Interestingly, only 9 of the 21 participants responded as expected …

Perception Based Misunderstandings In Human-Computer Dialogues, Niels Schütte, John D. Kelleher, Brian Mac Namee

Articles

In a situated dialogue, misunderstandings may arise if the participants perceive or interpret the environment in different ways. In human-computer dialogue this may be due the sensor errors. We present an experiment system and a series of experiments in which we investigate this problem.

Cracking The Code On Stem: A People Strategy For Nevada's Economy Executive Summary, Jessica A. Lee, Mark Muro, Jonathan Rothwell, Scott Andes, Siddharth Kulkarni

Brookings Mountain West Publications

Nevada has in place a plausible economic diversification strategy—and it’s beginning to work. Now, the state and its regions need to craft a people strategy. Specifically, the state needs to boost the number of Nevadans who possess at least some postsecondary training in the fields of science, technology, engineering, or math—the so-called “STEM” disciplines (to which some leaders add arts and design to make it “STEAM”).

The moment is urgent—and only heightened by the projected worker needs of Tesla Motors’ planned “gigafactory” for lithium-ion batteries in Storey County.

Even before the recent Tesla commitment, a number of the more high-tech …

Using Internet Artifacts To Profile A Child Pornography Suspect, Marcus K. Rogers, Kathryn C. Seigfried-Spellar

Journal of Digital Forensics, Security and Law

Digital evidence plays a crucial role in child pornography investigations. However, in the following case study, the authors argue that the behavioral analysis or “profiling” of digital evidence can also play a vital role in child pornography investigations. The following case study assessed the Internet Browsing History (Internet Explorer Bookmarks, Mozilla Bookmarks, and Mozilla History) from a suspected child pornography user’s computer. The suspect in this case claimed to be conducting an ad hoc law enforcement investigation. After the URLs were classified (Neutral; Adult Porn; Child Porn; Adult Dating sites; Pictures from Social Networking Profiles; Chat Sessions; Bestiality; Data Cleaning; …

On Cyber Attacks And Signature Based Intrusion Detection For Modbus Based Industrial Control Systems, Wei Gao, Thomas H. Morris

Journal of Digital Forensics, Security and Law

Industrial control system communication networks are vulnerable to reconnaissance, response injection, command injection, and denial of service attacks. Such attacks can lead to an inability to monitor and control industrial control systems and can ultimately lead to system failure. This can result in financial loss for control system operators and economic and safety issues for the citizens who use these services. This paper describes a set of 28 cyber attacks against industrial control systems which use the MODBUS application layer network protocol. The paper also describes a set of standalone and state based intrusion detection system rules which can be …

Idiographic Digital Profiling: Behavioral Analysis Based On Digital Forensics, Chad M. Steel

Journal of Digital Forensics, Security and Law

Idiographic digital profiling (IDP) is the application of behavioral analysis to the field of digital forensics. Previous work in this field takes a nomothetic approach to behavioral analysis by attempting to understand the aggregate behaviors of cybercriminals. This work is the first to take an idiographic approach by examining a particular subject's digital footprints for immediate use in an ongoing investigation. IDP provides a framework for investigators to analyze digital behavioral evidence for the purposes of case planning, subject identification, lead generation, obtaining and executing warrants, and prosecuting offenders.

On Identities In Modern Networks, Libor Polcak, Radek Hranick, Tomas Martınek

Journal of Digital Forensics, Security and Law

Communicating parties inside computer networks use different kind of identifiers. Some of these identifiers are stable, e.g., logins used to access a specific service, some are only temporary, e.g., dynamically assigned IP addresses. This paper tackles several challenges of lawful interception that emerged in modern networks. The main contribution is the graph model that links identities learnt from various sources distributed in a network. The inferred identities result into an interception of more detailed data in conformance with the issued court order. The approach deals with network address translation, short-lived identifiers and simultaneous usage of different identities. The approach was …

Exploring Forensic Implications Of The Fusion Drive, Shruti Gupta, Marcus Rogers

Journal of Digital Forensics, Security and Law

This paper explores the forensic implications of Apple’s Fusion Drive. The Fusion Drive is an example of auto-tiered storage. It uses a combination of a flash drive and a magnetic drive. Data is moved between the drives automatically to maximize system performance. This is different from traditional caches because data is moved and not simply copied. The research included understanding the drive structure, populating the drive, and then accessing data in a controlled setting to observe data migration strategies. It was observed that all the data is first written to the flash drive with 4 GB of free space always …

Multi-Stakeholder Case Prioritization In Digital Investigations, Joshua I. James

Journal of Digital Forensics, Security and Law

This work examines the problem of case prioritization in digital investigations for better utilization of limited criminal investigation resources. Current methods of case prioritization, as well as observed prioritization methods used in digital forensic investigation laboratories are examined. After, a multi-stakeholder approach to case prioritization is given that may help reduce reputational risk to digital forensic laboratories while improving resource allocation. A survey is given that shows differing opinions of investigation priority between Law Enforcement and the public that is used in the development of a prioritization model. Finally, an example case is given to demonstrate the practicality of the …

An Efficient Similarity Digests Database Lookup – A Logarithmic Divide & Conquer Approach, Frank Breitinger, Christian Rathgeb, Harald Baier

Journal of Digital Forensics, Security and Law

Investigating seized devices within digital forensics represents a challenging task due to the increasing amount of data. Common procedures utilize automated file identification, which reduces the amount of data an investigator has to examine manually. In the past years the research field of approximate matching arises to detect similar data. However, if n denotes the number of similarity digests in a database, then the lookup for a single similarity digest is of complexity of O(n). This paper presents a concept to extend existing approximate matching algorithms, which reduces the lookup complexity from O(n) to O(log(n)). Our proposed approach is based …

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

From The Editor, Ibrahim Baggili

Journal of Digital Forensics, Security and Law

In this issue we have three papers that have made the cut. The first paper titled “The Cost of Privacy: Riley v. California’s Impact on Cell Phone Searches” is timely. In 2014 there was a unanimous decision that requires a warrant for all cell phone searches. This has some strong implications on the forensic analysis of mobile phones, and to that end, this article discusses and summarizes this legal precedent with its practical implications.

Leveraging Decentralization To Extend The Digital Evidence Acquisition Window: Case Study On Bittorrent Sync, Mark Scanlon, Jason Farina, Nhien A. Khac, Tahar Kechadi

Journal of Digital Forensics, Security and Law

File synchronization services such as Dropbox, Google Drive, Microsoft OneDrive, Apple iCloud, etc., are becoming increasingly popular in today’s always-connected world. A popular alternative to the aforementioned services is BitTorrent Sync. This is a decentralized/cloudless file synchronization service and is gaining significant popularity among Internet users with privacy concerns over where their data is stored and who has the ability to access it. The focus of this paper is the remote recovery of digital evidence pertaining to files identified as being accessed or stored on a suspect’s computer or mobile device. A methodology for the identification, investigation, recovery and verification …

Book Review: The X-Ways Forensics Practitioner's Guide, Linda Lau

Journal of Digital Forensics, Security and Law

Brett Shavers is a former law enforcement officer, a digital forensics examiner, an adjunct instructor, and a frequent speaker at many conferences. After writing his first book, titled Placing the Suspect Behind the Keyboard: Using Digital Forensics and Investigative Techniques to Identify Cybercrime Suspects, he co-wrote his 2nd book with Eric Zimmerman and Jimmy Weg, who is a knowledgeable technical editor. Both Brett and Eric are experts in cyber forensics, with many years of law enforcement experience at both the state and federal levels.

The Cost Of Privacy: Riley V. California’S Impact On Cell Phone Searches, Jennifer L. Moore, Jonathan Langton, Joseph Pochron

Journal of Digital Forensics, Security and Law

Riley v. California is the United States Supreme Court’s first attempt to regulate the searches of cell phones by law enforcement. The 2014 unanimous decision requires a warrant for all cell phone searches incident to arrest absent an emergency. This work summarizes the legal precedent and analyzes the limitations and practical implications of the ruling. General guidelines for members of the criminal justice system at all levels consistent with the Supreme Court’s decision are provided.

Quantifying Relevance Of Mobile Digital Evidence As They Relate To Case Types: A Survey And A Guide For Best Practice, Shahzad Saleem, Ibrahim Baggili, Oliver Popov

Journal of Digital Forensics, Security and Law

In this work, a survey was conducted to help quantify the relevance of nineteen types of evidence (such as SMS) to seven types of digital investigations associated with mobile devices (MD) (such as child pornography). 97 % of the respondents agreed that every type of digital evidence has a different level of relevance to further or solve a particular investigation. From 55 serious participants, a dataset of 5,772 responses regarding the relevance of nineteen types of digital evidence for all the seven types of digital investigations was obtained. The results showed that (i) SMS belongs to the most relevant type …

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

Developing A Conceptual Framework For Modeling Deviant Cyber Flash Mob: A Socio-Computational Approach Leveraging Hypergraph Constructs, Samer Al-Khateeb, Nitin Agarwal

Journal of Digital Forensics, Security and Law

In a Flash Mob (FM) a group of people get together in the physical world perform an unpredicted act and disperse quickly. Cyber Flash Mob (CFM) is the cyber manifestation of flash mob coordinated primarily using social media. Deviant Cyber Flash Mob (or, DCFM) is a special case of CFM, which is categorized as the new face of transnational crime organizations (TCOs). The DCFM phenomenon can be considered as a form of a cyber-collective action that is defined as an action aiming to improve group’s conditions (such as, status or power). In this paper, we conduct a conceptual analysis of …

A Federated Architecture For Heuristics Packet Filtering In Cloud Networks, Ibrahim M. Waziri Jr

College of Graduate Studies: Theses & Dissertations

The rapid expansion in networking has provided tremendous opportunities to access an unparalleled amount of information. Everyone connects to a network to gain access and to share this information. However when someone connects to a public network, his private network and information becomes vulnerable to hackers and all kinds of security threats. Today, all networks needs to be secured, and one of the best security policies is firewall implementation.

Firewalls can be hardware or cloud based. Hardware based firewalls offer the advantage of faster response time, whereas cloud based firewalls are more flexible. In reality the best form of firewall …

Economic And Environmental Comparison Of Different Ordering Policies For An Integrated Inventory Control And Supplier Selection Problem, Sepideh Almasi Monfared

Masters Theses

"This study analyzes an integrated inventory control and supplier selection problem in stochastic demand environment under carbon emissions regulations. In particular, a continuous review inventory model with multiple suppliers is investigated under carbon taxing and carbon trading regulations. We analyze and compare the optimal supplier selection and order splitting decisions with single sourcing and two alternative delivery structures for multi-sourcing, namely, sequential ordering and sequential delivery. For each of the three ordering policies, a solution method is proposed and these policies are compared in terms of their economic as well as environmental performances. A numerical study is conducted to demonstrate …

Participant Impacts From A Participatory Water Modeling Workshop In The Sonora River Basin, Mexico, David J. Kossak

Dissertations, Master's Theses and Master's Reports - Open

Much of the research in the field of participatory modeling (PM) has focused on the developed world. Few cases are focused on developing regions, and even fewer on Latin American developing countries. The work that has been done in Latin America has often involved water management, often specifically involving water users, and has not focused on the decision making stage of the policy cycle. Little work has been done to measure the effect PM may have on the perceptions and beliefs of decision makers. In fact, throughout the field of PM, very few attempts have been made to quantitatively measure …

An Explanatory And Comparative Analysis Of Freight Transportation In Eu And U.S. Highways, Luis Alberto Hernandez

Open Access Theses & Dissertations

This thesis provides resources for data collection regarding road freight transportation in the Unites States and the European Union, as well as an explanatory description of data available at each source. Afterwards, individual analysis of the current state of affairs of the highway freight transportation systems in U.S. and EU are performed. Thereafter, an explanatory and comparative analysis between the two land freight transportation systems is performed in terms of regulatory authorities and associations, trucks volume flow, freight weight and volume flow, major issues affecting the system, infrastructure funding sources, and major logistics hubs. Besides, a correlation analysis was performed …

Integrated Sustainability Decision-Making Framework, Michael Paul Cole

Open Access Theses & Dissertations

The Integrated Sustainability Decision-Making Framework (ISDMF) is an 'ideal case' framework developed at the University of Texas El Paso (UTEP) from 2012 to present to provide the most comprehensive and concise sustainability strategy and decision-making template available.

Sustainable decision-making improves community Quality of Life, but is often beyond the reach of the majority. A framework that is most approachable, actionable, and adoptable can accelerate convergence on and continued operation of a sustainable solution. Research confirms that published frameworks continuously emerge, and are infinite in number. Iterations benefit from prior work, and contribution occurs when an 'ideal case' is envisioned, best …

Cgt 256: User-Centered (Re)Design, Mihaela Vorvoreanu

IMPACT Symposium

The poster presented at the IMPACT Symposium 2014 outlines the redesign of of CGT 256: User Centered Design.

Polysemy In Design Review Conversations, Georgi V. Georgiev, Toshiharu Taura

Design Thinking Research Symposium

This paper examines the role of polysemy, defined as the quality of having multiple meanings, in design review conversations. It examines the polysemy, particularly of nouns, involved in a dataset of design review conversations with reference to design ideas. The purpose is to determine whether polysemy is related to successful development of design ideas and more creative design outcomes. The results show that the polysemy of nouns involved in the conversations of the finally developed, successful, design ideas exceeds in the most cases the average polysemy involved in the conversations pertaining to the unsuccessful design ideas. Furthermore, the polysemy of …

Housing The Workforce Following The Canterbury Earthquakes In New Zealand, Yan Chang-Richards, Suzanne J. Wilkinson, Erica Seville, David Brundson

International Institute for Infrastructure Resilience and Reconstruction (I3R2) Conference

Temporary housing following a large-scale disaster has a positive effect on household welfare and community recovery. Following the 2010 and 2011 Canterbury earthquakes, a shortage of temporary accommodation created barriers for the outside construction workforce to engage in repairs and rebuild in Christchurch. This study investigates the impacts of housing shortages for the overall recovery and the strategies adopted by both households and the workforce in the building industry. Findings suggest that the interplay among the industry strategies and household strategies for securing housing determines the magnitude and scope of economy-wide inflation. One unfortunate consequence of these industry strategies is …