| Novel Topic Impact on Authorship Attribution |
Dec 2009 |
80 pages |
| Authors:
Johnnie F Caver; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
 | Several authorship attribution studies have speculated about the existence of a link between topic cues and author style features. This research presents a novel experimental protocol for measuring the impact of topic features on author attribution predictive models. We call our technique novel topic crossvalidation, which consists of holding out a single topic in a test set and iterating over choices of held-out topic to compute an average performance score. ... |
|
| Enhancement of the Acquisition Process for a Combat System-A Case Study to Model the Workflow Processes for an Air Defense System Acquisition |
Dec 2009 |
66 pages |
| Authors:
Wee L Chia; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| This thesis examines the challenges involved in the concept-refinement phase of the acquisition process of a complex system. We investigated the technical feasibility of using the Goal Question Metric methodology as part of the concept-refinement phase of the requirements analysis. Use case analysis and activity diagram modeling were used to analyze the workflow of a generic concept-refinement process. Statechart assertions and runtime execution monitoring were then used to formally specify ... |
|
| Detecting Age in Online Chat |
Sep-2009 |
147 pages |
| Authors:
Jenny K Tam; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Over 90 % of teens in the United States use the Internet, and many use it for social interaction. Due to the faceless nature of digital communication, criminals can easily pose as legitimate users to build friendship and trust with potential victims. Even though fewer youths are going to chat rooms and talking to people they do not know, the number of youths receiving aggressive solicitations for offline contact has ... |
|
| A Study of Topic and Topic Change in Conversational Threads |
Sep-2009 |
95 pages |
| Authors:
Jessy Cowan-Sharp; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| This thesis applies Latent Dirichlet Allocation (LDA) to the problem of topic and topic change in conversational threads using e-mail. We demonstrate that LDA can be used to successfully classify raw e-mail messages with threads to which they belong, and compare the results with those for processed threads, where quoted and reply text have been removed. Raw thread classification performs better, but processed threads show promise. We then present two ... |
|
| Blog Fingerprinting: Identifying Anonymous Posts Written by an Author of Interest Using Word and Character Frequency Analysis |
Sep-2009 |
93 pages |
| Authors:
David J Dreier; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Internet blogs are an easily accessible means of global communications. Monitoring blogs for criminal and terrorist activity is a serious challenge, due to blogs' anonymous nature and the sheer volume of data. The intelligence community is often faced with more information than it can process. The need exists to develop methods for processing the massive amounts of data this media presents, without a significant increase in manpower. An automated tool ... |
|
| New Directions in Software Quality Assurance Automation |
Jun-2009 |
65 pages |
| Authors:
Mikhail Auguston; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| A formalism is suggested for specifying environment behavior models for software test scenario generation based on attributed event grammars. The environment model may contain descriptions of the events triggered by the software outputs and of the hazardous states in which the system could arrive, thus providing a framework for specifying properties of software behavior within the given environment. The behavior of the system can be rendered as an event set ... |
|
| Software Architecture Built from Behavior Models |
Jun-2009 |
33 pages |
| Authors:
Mikhail Auguston; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| This paper suggests an approach to formal software system architecture specification based on behavior models. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The structure of event trace is specified using event grammars and other constraints organized into schemas. The schema framework is amenable to stepwise architecture refinement, reuse, composition, visualization, and application of automated tools for ... |
|
| Securing the Dissemination of Emergency Response Data with an Integrated Hardware-Software Architecture |
Apr 2009 |
21 pages |
| Authors:
Timothy E Levin; Jeffrey S Dwoskin; Ganesha Bhaskara; Thuy D Nguyen; Paul C Clark; Ruby B Lee; Cynthia E Irvine; Terry V Benzel; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| During many crises, access to sensitive emergency-support information is required to save lives and property. For example, for effective evacuations first responders need the names and addresses of non-ambulatory residents. Yet, currently, access to such information may not be possible because government policy makers and third-party data providers lack confidence that today's IT systems will protect their data. Our approach to the management of emergency information provides first responders with ... |
|
| Enforcing Memory Policy Specifications in Reconfigurable Hardware |
Oct 2008 |
28 pages |
| Authors:
Ted Huffmire; Timothy Sherwood; Ryan Kastner; Timothy Levin; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable hardware typically offer no such protection. Several reconfigurable cores are often integrated onto a single chip where they share external resources such as memory. While this enables small form factor and low cost designs, it opens up the opportunity for modules to intercept or even ... |
|
| Practical Applications of Bloom Filters to the NIST RDS and Hard Drive Triage |
01-Sep-2008 |
11 pages |
| Authors:
Paul Farrell; Simson L Garfinkel; Douglas White; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Much effort has been expended in recent years to create large sets of hash codes from known files. Distributing these sets has become more difficult as these sets grow larger. Meanwhile the value of these sets for eliminating the need to analyze "known goods" has decreased as hard drives have dramatically increased in storage capacity. This paper evaluates the use of Bloom filters (BFs) to distribute the National Software Reference ... |
|
| A Security Domain Model for Implementing Trusted Subject Behaviors |
Sep 2008 |
13 pages |
| Authors:
Alan Shaffer; Mikhail Auguston; Cynthia Irvine; Timothy Levin; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Within a multilevel secure (MLS) system, trusted subjects are granted privileges to perform operations that are not possible by ordinary subjects controlled by mandatory access control (MAC) policy enforcement mechanisms. These subjects are trusted not to conduct malicious activity or degrade system security. The authors present a formal definition for trusted subject behaviors that depends upon a representation of information flow and control dependencies generated during a program execution. They ... |
|
| Designing Secure Systems on Reconfigurable Hardware |
Jul 2008 |
17 pages |
| Authors:
Ted Huffmire; Brett Brotherton; Nick Callegari; Jonathan Valamehr; Jeff White; Ryan Kastner; Tim Sherwood; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| The extremely high cost of custom ASIC fabrication makes FPGAs an attractive alternative for deployment of custom hardware. Embedded systems based on reconfigurable hardware integrate many functions onto a single device. Since embedded designers often have no choice but to use soft IP cores obtained from third parties, the cores operate at different trust levels, resulting in mixed trust designs. The goal of this project is to evaluate recently proposed ... |
|
| A Preliminary Analysis for Porting XML-based Chat to MYSEA |
01-Jun-2008 |
145 pages |
| Authors:
Claire E LaVelle; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| The Monterey Security Architecture (MYSEA) is a distributed multilevel secure (MLS) computing environment. MYSEA does not presently support chat, an Internet application that provides near-real-time collaboration capability. Chat capability that implements the Extensible Messaging and Presence Protocol (XMPP) standards has been recognized by the Department of Defense (DoD) as a mandatory standard. The primary goal of this thesis is to determine if a chat server that implements the XMPP and ... |
|
| Authorship Discovery in Blogs Using Bayesian Classification with Corrective Scaling |
01-Jun-2008 |
51 pages |
| Authors:
Grant T Gehrke; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Widespread availability of free, public blog platforms has facilitated growth in the amount of individually written electronic text available online. Our research leverages an extremely large blog corpus for a study in authorship discovery, both to evaluate a traditional technique as applied to blogs, as well as to demonstrate the implications of authorship discovery in blogs for intelligence and forensic purposes. Our study uses a Bayesian classifier with two important ... |
|
| Use of Trusted Software Modules for Emergency-Integrity Display |
01-Jun-2008 |
22 pages |
| Authors:
Cynthia E Irvine; Thuy D Nguyen; Timothy E Levin; Paul C Clark; David J Shifflett; Timothy M Vidas; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| This report provides summary of the interface, mechanisms and semantics for high integrity display of information in a secure computer system, based on the use of a high assurance separation kernel and trusted software modules in both the application domain and the trusted software domain. |
|
| Orchestrating BMD Control in Extended BPEL |
21-May-2008 |
14 pages |
| Authors:
Man-Tak Shing; Duminda Wijesekera; Thomas S Cook; Bret Michael; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| We specify duty cycles of a Ballistic Missile Defense (BMD) command and control application by decorating the Business Process Execution Language (BPEL) with Quality of Service (QoS), Measures of Performance (MoP), Measures of Effectiveness (MoE) and Measures of Merit (MoM) metrics. |
|
| A Comparative Analysis Of Guidance Laws for Boost-Phase Ballistic Missile Intercept Using Exo-Atmospheric Kill Vehicles |
MAY 2008 |
61 pages |
| Authors:
Sang-Keun Jang; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Boost-phase intercept of a threat intercontinental ballistic missile (ICBM) is the first layer of a multi-layer missile defense strategy. Space-based interceptors possess certain kinematic advantages over ground-based interceptors in defeating an ICBM threat during boost phase. This paper explores the performance of various guidance laws that might be used by an exo-atmospheric kill vehicle (EKV) launched from a space platform to defeat a hostile, ground-launched ICBM during boost phase. Proportional ... |
|
| Which Unchanged Components to Retest After a Technology Upgrade |
23-Apr-2008 |
36 pages |
| Authors:
Valdis Berzins; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| The Navy's open architecture framework is intended to promote reuse and reduce costs. This paper focuses on exploiting open architecture principles to reduce testing effort and costs in cases in which the requirements and code for a subsystem have not been changed, but the code is running on new hardware and/or new operating systems due to a technology advancement upgrade. This situation is common in Navy and DoD contexts such ... |
|
| ReSEARCH: A Requirements Search Engine |
23-Apr-2008 |
54 pages |
| Authors:
Craig Martell; Ralucca Gera; Paige H Adams; Pranav Anand; Grant Gehrke; Marco Draeger; Kevin Squire; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| This research address three closely related problems. (1) Most current search technology is based on a popularity metric (e.g., PageRank or ExpertRank), but not on the semantic content of the document. (2) When building components in a service-oriented architecture (SOA), developers must investigate whether components that meet certain requirements already exist. (3) There is no easy way for writers of requirements documents to formally specify the meaning and domain of ... |
|
| IRBs and Security Research: Myths, Facts and Mission Creep |
07-Apr-2008 |
47 pages |
| Authors:
Simson L Garfinkel; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Having decided to focus attention on the "weak link" of human fallibility, a growing number of security researchers are discovering the US Government's regulations that govern human subject research. This paper discusses those regulations, their application to research on security and usability, and presents strategies for negotiating the Institutional Review Board (IRB) approval process. It argues that a strict interpretation of regulations has the potential to stymie security research. |
|
| Performance Limits of Fair-Access in Sensor Networks with Linear and Selected Grid Topologies |
01-Nov-2007 |
7 pages |
| Authors:
John Gibson; Geoffrey G Xie; Yang Xiao; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| This paper investigates fundamental performance limits of medium access control (MAC) protocols for multi-hop sensor networks. A unique aspect of this study is the modeling of a fair access criterion requiring that sensors have an equal rate of frame delivery to the base station. Tight upper bounds on network utilization and tight lower bounds on minimum time between samples are derived for fixed linear and grid topologies. The significance of ... |
|
| Models of Sensor Operations for Border Surveillance |
11-Sep-2007 |
25 pages |
| Authors:
Dolev Cfir; Moshe Kress; Roberto Szechtman; Kyle Lin; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| This paper is motivated by the diverse array of border threats, ranging from terrorists to arms dealers and human traffickers. We consider a moving sensor that patrols a certain section of a border with the objective to detect infiltrators who attempt to penetrate that section. Infiltrators arrive according to a Poisson process along the border with a specified distribution of arrival location, and disappear a random amount of time after ... |
|
| Autonomous Coordination and Online Motion Modeling for Mobile Robots |
SEP 2007 |
87 pages |
| Authors:
Eric J. Sjoberg; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Robots are rapidly becoming more involved in everyday military operations. As robots become more capable, their tasks will increase to include such roles as exploring enemy controlled buildings and caves. The goal of this thesis is to explore methodologies that allow robots to operate more autonomously. The first goal is to develop an algorithm that allows groups of robots to construct controlled formations with only local information. Experiments investigate the ... |
|
| The Three Dimensions of Formal Validation and Verification of Reactive System Behaviors |
AUG 2007 |
22 pages |
| Authors:
D. Drusinsky; James B. Michael; M. Shing; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| In-spite of three decades of software formal verification and validation (FV&V) research, there exists no ideal FV&V technique that works well for all FV&V concerns. That is, there is no one technique that enables the following: (1) easy and correct construction of requirement specification of complex real-life properties, and (2) complete verification coverage of complete real-life complex software with respect to those requirements. Moreover, many of the FV&V techniques are ... |
|
| Analyzing the Performance of Multi-hop Underwater Acoustic Sensor Networks |
01-Jun-2007 |
7 pages |
| Authors:
Hui Chen; Geoffrey G Xie; Yang Xiao; John H Gibson; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Multi-hop underwater acoustic sensor networks constrain the performance of medium access control protocols. The efficiency of the well-known RTS-CTS scheme is degraded due to long propagation delays of such networks. Recently, interest in Aloha variants has surfaced; however, the performance of such protocols within the context of multi-hop networks is not well studied. In this paper, we identify the challenges of modeling contention-based medium access control protocols and present a ... |
|
| Alloy Experiments for a Least Privilege Separation Kernel |
JUN 2007 |
107 pages |
| Authors:
David A. Phelps; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| A least privilege separation kernel (LPSK) is part of a long-term project known as the Trusted Computing Exemplar (TCX). A major objective of the TCX is the creation of an open framework for high assurance development. A relatively new specification tool called Alloy has shown potential for high assurance development. We implemented the formal security policy model (FSPM) and the formal top level specification (FTLS) of the TCX LPSK in ... |
|
| Mapping Autonomous System's Router Level Topology in IPv6 |
JUN 2007 |
419 pages |
| Authors:
Robert J. Poulin; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| The core of the Internet is composed of many independent and mutually exclusive collections of routers, called Autonomous Systems, which are responsible for moving traffic between communicating end-systems, or hosts, regardless of the relative location of those hosts. The complexity of the internal composition of theses autonomous systems is such that accurate documentation of their topology, reference to as mapping, is difficult and prone to error. Developing automated support for ... |
|
| Rapid Prototyping of Robotic Systems |
JUN 2007 |
251 pages |
| Authors:
William J. Smuda; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| This effort describes a systems engineering approach to the design and implementation of software for prototyping robotic systems. Developing networked robotic systems of diverse physical assets is a continuing challenge to developers. Problems often multiply when adding new hardware/software artifacts or when reconfiguring existing systems. This work describes a method to create model-based, graphical domain-specific languages. Domain-specific languages use terms understandable to domain engineers as well as abstract software engineering ... |
|
| Experiments with the Sun Java Real-Time System -- Part 2 |
11 MAY 2007 |
24 pages |
| Authors:
Mikhail Auguston; Thomas S. Cook; Doron Drusinsky; James B. Michael; Thomas W. Otani; Man-Tak Shing; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| In the authors' first report on the Sun Java Real-Time System (RTS), they concluded that it is preferable to use real-time Java threads that use heap memory rather than no-heap real-time threads (NHRTTs) for the Global Integrated Fire Control System (GIFC) due to the difficulty of writing correct Java programs using NHRTTs. However, they also found that such an architecture could not be implemented using RTS 1.0. Experiments with the ... |
|
| Commodity Grid Computing with Amazon's S3 and EC2 |
01-Feb-2007 |
8 pages |
| Authors:
Simson L Garfinkel; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Amazon.com recently introduced two new storage and computing services that might fundamentally change the way that we provision equipment for both e-commerce and high-performance computing. I learned about these services a few days after I had started looking for quotes to purchase a multiblade server with 10-20 TB of storage to further my own research in computer forensics. Rather than moving ahead with that purchase, I decided to evaluate whether ... |
|
| Internet Architecture: Lessons Learned and Looking Forward |
01-Dec-2006 |
26 pages |
| Authors:
Geoffrey G Xie; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| This chapter explores the architectural design of the Internet. The main objectives are: (i) highlight the design principles underlying the Internet architecture and explain their roles in the success of the network, and (ii) identify some of the limitations of the current Internet architecture and present a possible approach to addressing them. |
|
| A Performance Analysis of BGP MPLS VPN Failover Functionality |
DEC 2006 |
111 pages |
| Authors:
Guan C. Tan; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Future military systems, many of which have unique timing requirements, will rely on the Global Information Grid (GIG) as the core data communication infrastructure. The GIG currently uses the Border Gateway Protocol (BGP)/Multi-Protocol Label Switching (MPLS) Virtual Private Network (VPN) technology to provide secure and robust IP-level connectivity. This technology supports the provisioning of IP connectivity by a service provider to multiple customers over a common physical IP backbone while ... |
|
| Short Message Service (SMS) Security Solution for Mobile Devices |
DEC 2006 |
113 pages |
| Authors:
Loon-Ng Yu; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| This thesis focuses on the security of Short Message Service (SMS) and the Global System for Mobile communication (GSM) network, and the use of encryption to protect SMS messages. A detailed study of the GSM network, the SMS protocol and various encryption schemes was conducted to understand the properties of different encryption schemes and their applicability to SMS messages. An experiment was conducted to measure the actual performance of various ... |
|
| Resource Aggregation in Smart Sensor Systems |
01-Oct-2006 |
4 pages |
| Authors:
Gurminder Singh; Mathias Kolsch; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| The authors describe a network of diverse sensors and methods for capability discovery and resource aggregation. Camera nodes utilize the distributed sensors for selective image acquisition and processing. Compared to standalone cameras, these networked sensors consume less power and can be adjusted to heterogeneous and situation-specific resolutions by spreading them thinner or denser. Most importantly, however, diverse sensors can exploit a wider range of the electromagnetic spectrum. In field tests, ... |
|
| Requirements for Self-Stabilization of Distributed Advanced Battle Managers |
15 SEP 2006 |
36 pages |
| Authors:
Mikhail Auguston; Thomas S. Cook; James B. Michael; Man-Tak Shing; Harsha Tummala; Duminda Wijesekera; Geoffrey G. Xie; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| In this report, we formalize the self-stabilization problem as it pertains to the C2BMC, in addition to highlighting some of key features of the C2BMC that distinguish it from general-purpose distributed systems. We then describe a sub-area of self-stabilization known as the leader election problem, pointing out the issues tied to the re-establishment of an ABM command and control structure in the event of system faults. We performed an initial ... |
|
| Environment Behavior Models for Real-Time Reactive System Testing Automation |
SEP 2006 |
163 pages |
| Authors:
Muharrem U. Aksu; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| We explored the effectiveness of using attributed event grammars (AEG) based environment behavior models as a method for testing and analyzing real-time, reactive software systems. The AEG specifies possible event traces and provides a uniform approach for automatically generating and executing test cases. We have demonstrated the approach through a case study (Paderborn Shuttle System Control Software) and performed three kinds of experiments: software correctness testing, system performance analysis and ... |
|
| Preliminary Security Requirements for SecureCore Hardware |
SEP 2006 |
13 pages |
| Authors:
Thuy D. Nguyen; Timothy E. Levin; Cynthia E. Irvin; Terry V. Benzel; Ganesha Bhaskara; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| This document describes a set of preliminary high level security requirements for the SecureCore hardware base (SCHW). A SecureCore (SC) component is anticipated to be a mobile networked device capable of operating in different modes with different levels of trust. To promote rapid user acceptability, it is essential that security features implemented in the SC architecture must minimize changes to existing application-level software. The SCHW security requirements are specified in ... |
|
| Offline Forensic Analysis Of Microsoft Windows XP Physical Memory |
SEP 2006 |
91 pages |
| Authors:
John S. Schultz; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| The rise of cyber crimes combined with the recent use of computer viruses and malicious programs that reside only in volatile main memory demand further development of appropriate forensic tools. Existing forensic tools that analyze non-volatile memory are not capable of analyzing volatile memory and the few tools that are capable of detailed analysis of volatile memory are not openly available to the public. In this thesis, an open source ... |
|
| Path Calculation and Packet Translation for UAV Surveillance in Support of Wireless Sensor Networks |
SEP 2006 |
191 pages |
| Authors:
Stephen Schall; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Wireless Sensor Networks (WSNs) are a relatively new technology with many potential applications, including military and homeland security surveillance operations. Accurate classification of WSN contacts has been attempted using various sensor combinations over the past few years, yet video and photographic imagery remain the only choices for attaining context specific contact classification. While cameras have been successfully installed within some WSNs, there are serious limitations to this solution. Most stemming ... |
|
| An Analysis of Three Kernel-based Multilevel Security Architectures |
AUG 2006 |
30 pages |
| Authors:
Timothy E. Levin; Cynthia E. Irvine; Thuy D. Nguyen; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Various system architectures have been proposed for highly robust enforcement of multilevel security (MLS). This paper provides an analysis of the relative merits of three architectural types one based on a traditional separation kernel, another based on a security kernel, and a third based on a high-robustness separation kernel. We show that by taking advantage of commonly available hardware features, and incorporating security features required by the nascent Separation Kernel ... |
|
| Integration of User Specific Hardware for SecureCore Cryptographic Services |
JUL 2006 |
23 pages |
| Authors:
Ganesha Bhaskara; Timothy E. Levin; Thuy D. Nguyen; Terry V. Benzel; Cynthia E. Irvine; Paul C. Clark; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| The objective of this document is to begin to provide details and design issues that may arise while integrating Secret Protected (SP) with the SecureCore hardware and the SecureCore architecture. This document describes the use of cryptographic hardware such as SP and the Trusted Platform Module (TPM) within the context of the SecureCore project to provide cryptographic services. The assumptions about the architecture, hardware, software and usage of the SecureCore ... |
|
| Comparative Analysis of C2 Structures for Global Ballistic Missile Defense |
JUN 2006 |
39 pages |
| Authors:
James B. Michael; Man-Tak Shing; Mitchell R. Perrett; Joon H. Um; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Global ballistic missile defense (BMD) is a new type of warfare that is characterized by its fast tempo and little force movement. Time budgets for executing kill-chain tasks during an engagement are highly constrained, making it necessary to rely on high degrees of automation of all aspects of decision-making except in cases in which a tracked object requires the attention of a human operator. This paper examines three C2 structures ... |
|
| A Software Framework for Mobile Ad Hoc Data Communications Using Voice-Centric Tactical Radios |
JUN 2006 |
30 pages |
| Authors:
Geoffrey Xie; Steven Brand; John Gibson; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Currently, small ground units such as those operating in Iraq have very limited data communication capabilities between soldiers. Tactical chat or file transfer is available only at the battalion level or higher. To address this problem, the authors have developed a software application, which can leverage existing voice-centric radios to provide data services including tactical chat and file transfer capabilities to frontline ground units. The software embodies two key innovations: ... |
|
| New Directions in C2 Software Quality Assurance Automation Based on Executable Environment Models |
JUN 2006 |
41 pages |
| Authors:
Mikhail Auguston; James B. Michael; Man-Tak Shing; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| This paper presents some concepts, principles, and techniques for automated testing of real-time reactive software systems based on attributed event grammar (AEG) modeling of the environment in which a system will operate. AEG provides a uniform approach for automatic test generation, execution, and analysis. Quantitative and qualitative assessment of the system comprised of the software under test and its interaction with the environment, can be performed based on statistics gathered ... |
|
| Design of Preliminary Experiments with the Sun Java Real-Time System |
20 MAY 2006 |
22 pages |
| Authors:
T. S. Cook; D. Drusinsky; J. B. Michael; T. W. Otani; M. Shing; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| There is an increasing interest in recent years to use the Java(trade mark) programming language for implementing real-time systems. Recent advances in the Real-Time Specification for Java (RTSJ) have resulted in the introduction of new means for creating predictable real-time environments for Java programs. However, these new features also make the Java semantics more complex and the run-time behaviors of the Java programs more difficult to analyze. In this technical ... |
|
| Standards Interoperability: Application of Contemporary Software Safety Assurance Standards to the Evolution of Legacy Software |
MAR 2006 |
98 pages |
| Authors:
Desmond J. Meacham; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| This thesis addresses software evolution from the perspective of standards interoperability. We address the issue of how to apply contemporary software safety assurance standards to legacy safety-critical systems, with the aim of re-certifying the legacy systems to the contemporary standards. The application of RTCA DO-178B Software Considerations in Airborne Systems and Equipment Certification to modified legacy software is the primary focus of this thesis. We present a model to capture ... |
|
| A Survey and Analysis of Access Control Architectures for XML Data |
MAR 2006 |
65 pages |
| Authors:
Mark J. Estlund; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Extensible Markup Language (XML) has had a revolutionary effect on information technology. Both business and government have adopted XML as the format of choice for information sharing. Business uses XML to leverage the full potential of the Internet for e-Commerce. The government wants to leverage the ability to share information across many platforms between divergent agencies. In particular, in August 2004, Executive Order (EO) 13356 called for improved sharing of ... |
|
| The Design of a Stand-Alone Division Tactics Simulator Utilizing Non-Proprietary (Open Source) Media and Iterative Development |
MAR 2006 |
62 pages |
| Authors:
Ryan B. Ernst; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| Fleet maneuvers, or division tactics (DIVTACS), are achieved by a series of precision shipboard movements directed by an Officer in Tactical Control. Much like a precision drill team, DIVTACS training requires multiple ships underway in close proximity, often a rare commodity. Costs to conduct live training range from several Thousand (per evolution) to several Million dollars (to repair ships after a collision at-sea). Computer simulation opens the door to maximizing ... |
|
| CAC on a MAC: Setting up a DOD Common Access Card Reader on the Macintosh OS X Operating System |
MAR 2006 |
19 pages |
| Authors:
Phil Hopfner; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| The Naval Postgraduate School, along with many other Department of Defense (DoD) organizations, utilizes the ActivCard USB Common Access Card (CAC) readers. The CAC readers in conjunction with the user's Smart Card enables access to DoD PKI-enabled websites and allows the user to send signed and encrypted email utilizing the DoD Public Key Infrastructure (PKI). Microsoft Windows systems utilize the ActivCard Gold middleware software to enable CAC reader functionality. This ... |
|
| Initial Documentation Requirements for a High Assurance System: Lessons Learned |
FEB 2006 |
17 pages |
| Authors:
Paul C. Clark; Cynthisa E. Irvine; Timothy E. Levin; Thuy D. Nguyen; David J. Shifflett; Donna Miller; NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
|
| The Center for Information Systems Security Studies and Research (CISR) is working on a project known as the Trusted Computing Exemplar (TCX). This project is developing a high assurance computing component that will be evaluated at the Common Criteria (CC) Evaluation Assurance Level 7 (EAL7). The processes, documentation, source code, and other evidence to support the evaluation will be openly shared. Documentation is a substantial part of this evidence. Although ... |
|
Reports by Corporate Author
