| Cooperative Wideband Spectrum Sensing and Localization Using Radio Frequency Sensor Networks |
Sep-2009 |
109 pages |
| Authors:
Volkan Sonmezer; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
 | This thesis implements spectrum sensing and localization tasks using a radio frequency sensor network and analyzes the performance of this implementation through simulation. A sensor network based cooperative wideband spectrum sensing and localization scheme is proposed for the implementation of the tasks. In the proposed scheme, wavelet-based multi-resolution spectrum sensing and received signal strength-based localization methods, which were originally proposed for cognitive radio applications, are adapted to radio frequency sensor ... |
|
| Multi-Threaded DNA Tag/Anti-Tag Library Generator for Multi-Core Platforms |
May-2009 |
37 pages |
| Authors:
Arun Ravinfran; NORTH CAROLINA UNIV AT CHARLOTTE DEPT OF ELECTRICAL AND COMPUTER ENGINEERING
|
| Report Developed under CRADA 08-RI-CRADA-06. The report describes a new approach to the problem of generating DNA tag/anti-tag libraries used in experimental computing methods involving bio-molecules, and in biological assay methods. This approach couples multi-threaded coding methods and a highly parallel multi-population genetic algorithm to leverage performance gains made possible by the multi-core CPUs increasingly prevalent in today's commodity workstation computers. We explored and exploited algorithm and architecture trade-offs while ... |
|
| Data Assimilation in the Littoral Zone. Part 1. Analysis of the Navy Coupled Ocean Data Assimilation System (NCODA) |
27-Feb-2009 |
108 pages |
| Authors:
Timothy R Keen; Richard Allard; NAVAL RESEARCH LAB STENNIS SPACE CENTER MS OCEAN DYNAMICS AND PREDICTION BRANCH
|
| This report describes the detailed operation of the quality control component of the Navy Coupled Ocean Data Assimilation system for processing two- (2D) and three-dimensional (3D) fields. In addition to the conventional flow charts and tree diagrams used to describe sequential programs, several Unified Modeling Language (UML) diagrams are used to demonstrate the relationship between objects within the system. This Object Oriented (OO) analysis is intended to aid in future ... |
|
| T-Check in Technologies for Interoperability: Business Process Management in a Web Services Context |
01-Sep-2008 |
|
| Authors:
Lutz Wrage; Grace A Lewis; Fabian Hueppi; CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
|
 | In Business Process Management (BPM), many technologies are available to describe, analyze, execute, and monitor business processes. Composition languages are one type of BPM technology. Through the use of composition languages, business processes that are implemented through software and available as web services can be combined into new processes. The most popular language in this field is the Business Process Execution Language (BPEL). BPEL allows a user to declaratively combine ... |
|
| Formal Methods to Support the Design of Distributed Systems |
01-Jun-2008 |
20 pages |
| Authors:
Dilia E Rodriguez; AIR FORCE RESEARCH LAB ROME NY INFORMATION DIRECTORATE
|
| This work contributes to a formal framework to support the development of distributed systems: a specification serves to document a system; it can be executed to simulate the system; and it can be subjected, either directly or after some modular extension or transformation, to various kinds of formal analyses. Two on-the-fly techniques to reduce the state space were developed: one a symmetry reduction; the other a partial-order reduction. These are ... |
|
| Mitigating Reversing Vulnerabilities in .Net Applications Using Virtualized Software Protection |
01-Jun-2008 |
77 pages |
| Authors:
AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH CENTER FOR CYBERSPACE RESEARCH
|
| Protecting intellectual property contained in application source code and preventing tampering with application binaries are both major concerns for software developers. Simply by possessing an application binary, any user is able to attempt to reverse engineer valuable information or produce unanticipated execution results through tampering. As reverse engineering tools become more prevalent, and as the knowledge required to effectively use those tools decreases, applications come under increased attack from malicious ... |
|
| A Field Study in Static Extraction of Runtime Architectures |
01-Jun-2008 |
|
| Authors:
Jonathan Aldrich; Marwan Abi-Anton; CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
|
| We recently developed a static analysis to extract runtime architectures from object-oriented programs written in existing languages. The approach relies on adding ownership domain annotations to the code, and statically extracts a hierarchical runtime architecture from an annotated program. We present promising results from a week-long on-site field study to evaluate the method and the tools on a 30-KLOC module of a 250-KLOC commercial system. In a few days, we ... |
|
| New Application: What is the Network Impact |
21-May-2008 |
9 pages |
| Authors:
Robert L Jr; Godfrey; DEFENSE INTELLIGENCE AGENCY WASHINGTON DC
|
| Do you know what the impact of your Service Oriented Architecture (SOA) deployment is to the operational network? During deployment, the network requirements for the application are discovered. Deploying functions directly to the operational network forces the network technicians to quickly adapt the network to these requirements. Since this is not optimal, we need an improved process. A way of improving this process is to use a test network that ... |
|
| User's Guide to STAT The SHADWELL Test Analysis Tool (Version 2.0) |
29 FEB 2008 |
34 pages |
| Authors:
John B. Hoover; NAVY TECHNOLOGY CENTER FOR SAFETY AND SURVIVABILITY WASHINGTON DC
|
| The SHADWELL Test Analysis Tool, orginally developed to aid in the analysis of large-scale fire test data, has been updated. The new version removes the dependency on proprietary, third-party software and adds support for several new data input formats, including SHADWELL LabVIEW test data and the Fire and Smoke Simulator (FSSIM) fire model output. Methods are provided for definition of data channels, selection of data based on instrument type and ... |
|
| Distributed System Security via Logical Frameworks (SeLF) |
14 JAN 2008 |
|
| Authors:
Lujo Bauer; Frank Pfenning; Michael Reiter; Kaustav Chaudhuri; Deepak Garg; Scott Garriss; Jon McCune; Ruy Ley-Wild; CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
|
| We conducted a research program with the goal of advancing security in distributed systems via the application of logical frameworks. Our work targeted multiple facets of the life-cycle of a distributed system, ranging from design through execution, and from sound mechanism design through sound policy enforcement. It consisted of three major interconnected thrusts. First, we investigated how to exploit existing technologies to mechanically reason about security policies as specified in ... |
|
| Optimum Design of a Flexible Wing Structure to Enhance Roll Maneuver in Supersonic Flow |
2008 |
8 pages |
| Authors:
Duane E. Veley; Narendra S. Khot; Jeffrey V. Zweber; Alicia R. Hartong; AIR FORCE RESEARCH LAB WRIGHT-PATTERSON AFB OH AIR VEHICLES DIRECTORATE
|
| This work combines two efforts that have been on-going in the Air Force Research Laboratory. The first effort is the work of the Design Modeling Group which is using the Adaptive Modeling Language (AML) to develop an object-based technology assessment system. One of the advantages of this effort is that the analytical tools (legacy codes) that are used may be integrated into the AML environment one at a time, thereby ... |
|
| Makef15: An ADCIRC Model Fort.15 Input File Creation GUI for Parameter Specification and Periodic Boundary Forcing |
07 DEC 2007 |
35 pages |
| Authors:
Cheryl A. Blain; Robert S. Linzell; NAVAL RESEARCH LAB STENNIS SPACE CENTER MS OCEANOGRAPHY DIV
|
| The User's Manual for the Makef15 Graphical User Interface (GUI) software, makefort15gui.pl, contains descriptions of the software, including its functionality and usage. The Makef15 GUI is a window-based, platform-independent Perl script that can both create or modify the ADvanced CIRCulation (ADCIRC) Model Parameter and Periodic Boundary Forcing File (fort.15). The software was developed for ADCIRC versions 45.11. |
|
| Language-Based Security for Malicious Mobile Code |
30 SEP 2007 |
19 pages |
| Authors:
Fred B. Schneider; CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE
|
| Classical operating system architecture provides support for only a limited class of coarse-grained security policies. Furthermore, system software has grown too large and complicated to be considered trustworthy. To address these shortcomings, we have explored the application of programming language technology, including advanced type-systems, proof systems, analyses, and compilers for realizing new classes of security policies and for reducing or relocating the trusted computing base. |
|
| Bitfrost: The One Laptop per Child Security Model |
01-Jul-2007 |
12 pages |
| Authors:
Simson L Garfinkel; Ivan Krstic; ONE LAPTOP PER CHILD CAMBRIDGE MA
|
| We present an integrated security model for a low-cost laptop that will be widely deployed throughout the developing world. Implemented on top of Linux operating system, the model is designed to restrict the laptop's software without restricting the laptop's user. |
|
| Mathematics of Failures in Complex Systems: Characterization and Mitigation of Service Failures in Complex Dynamic Systems |
30 JUN 2007 |
142 pages |
| Authors:
Asok Ray; PENNSYLVANIA STATE UNIV UNIVERSITY PARK COLL OF ENGINEERING
|
| Objectives: The goal of this MURI project is to enhance dependability of complex engineering systems that include both human-operated and unmanned machinery. It focuses on pervasive fault tolerance based on the emerging information. The specific objective are: 1. Early detection of small anomalies in nonlinear and nonstationary dynamical systems. 2. Analysis and synthesis of robust decision and control systems to restrict the system behavior within desired specifications. 3. Development of ... |
|
| 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 ... |
|
| AFRL/Cornell Information Assurance Institute |
MAR 2007 |
67 pages |
| Authors:
Fred Schneider; CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE
|
| The AFRL/Cornell Information Assurance Institute supported a broad spectrum of research aimed at developing a science and technology base to enhance information assurance and networked information systems trustworthiness-system and network security, reliability, and assurance. Moreover, the institute also fostered closer collaborations between Cornell and AFRL researchers, as well as facilitating technology transfer and exposing Cornell researchers to problems facing the Air Force. |
|
| A Software Hub for High Assurance Model-Driven Development and Analysis |
23 JAN 2007 |
35 pages |
| Authors:
Rance Cleaveland; Steve Sims; David Hansel; Dan DuVarney; REACTIVE SYSTEMS INC FALLS CHURCH VA
|
| This final report describes the results of a Phase I SBIR research project sponsored at Reactive Systems Inc. by the Office of Secretary of Defense, with oversight provided by the Office of Naval Research. The goal of the project was to conduct a feasibility study for a so-called software hub that is intended to promote interoperability among software modeling and analysis tools. As part of this six-month effort a translator ... |
|
| Equational Abstractions |
01-Jan-2007 |
|
| Authors:
Jose Meseguer; Miguel Palomino; Narciso Marti-Oliet; ILLINOIS UNIV AT URBANA-CHAMPAIGN DEPT OF COMPUTER SCIENCE
|
| Abstraction reduces the problem of whether an infinite state system satisfies a temporal logic property to model checking that property on a finite state abstract version. The most common abstractions are quotients of the original system. We present a simple method of defining quotient abstractions by means of equations collapsing the set of states. Our method yields the minimal quotient system together with a set of proof obligations that guarantee ... |
|
| Magic User's Manual 2006 |
DEC 2006 |
22 pages |
| Authors:
Larry Ludeking; MISSION RESEARCH CORP NEWINGTON VA
|
| This is the Help File for the Magic Tool Suite for Windows. It uses the standard Windows Help so it is pretty self-explanatory. You can use the panel to the left to scan through the table of contents. To select a part, chapter, or section click on it. To use the index, click on the index tab and type your search query into the text field. Make a selection from ... |
|
| When Computers Fly, It Has to Be Right: Using SPARK for Flight Control of Small Unmanned Aerial Vehicles |
01-Sep-2006 |
6 pages |
| Authors:
Ricky E Sward; Dan Casey; Mark Gerken; AIR FORCE ACADEMY COLORADO SPRINGS CO
|
| One approach to software assurance is to use an annotated language such as SPARK. For safety critical software programs such as Unmanned Aerial Vehicle flight control software, the risk of software failure demands high assurance that the software will perform its intended function. Using an example from work being done at the U.S. Air Force Academy, this article describes SPARK and the formal process of proving correctness of software implementation. ... |
|
| Leveraging Open Source Software to Create Technical Animations of Scientific Data |
SEP 2006 |
18 pages |
| Authors:
John M. Vines; ARMY RESEARCH LAB ABERDEEN PROVING GROUND MD COMPUTATIONAL AND INFORMATION SCIENCES DIR
|
| Open source animation software packages provide a means for which scientists, researchers, and engineers can develop technically correct animation at no cost. The U.S. Army Research Laboratory spends tens of thousands of dollars annually for software licenses for packages such as Maya, Houdini, and 3D Studio Max, while in many instances, an open source package such as Blender3D would suffice. |
|
| KI-LEARN: Knowledge-Intensive Learning Methods for Knowledge-Rich/Data-Poor Domains |
31 AUG 2006 |
49 pages |
| Authors:
Thomas G. Dietterich; Angelo Restificar; Prasad Tadepalli; Bruce D'Ambrosio; Jon Herlocker; Alan Fern; Eric Altendorf; Sriraam Natarajan; Jianqiang Shen; Xinlong Bao; OREGON STATE UNIV CORVALLIS
|
| Knowledge Representation and Reasoning (KRR) has developed a wide range of methods for representing knowledge and reasoning from it to produce expert-level performance. Despite these accomplishments, there is one major problem preventing the wide-spread application of KRR technology: the inability to support learning. This makes KRR systems brittle and difficult to maintain. On the other hand, Machine Learning (ML) has developed a wide range of methods for learning from examples. ... |
|
| Cooperative Control of Distributed Autonomous Vehicles in Adversarial Environments |
14 AUG 2006 |
11 pages |
| Authors:
Jeff Shamma; CALIFORNIA UNIV LOS ANGELES DEPT OF MECHANICAL AND AEROSPACE ENGINEERING
|
| The goal of this MURI project is to develop the tools required for the systematic design of cooperative control systems for distributed vehicles in adversarial environments. The project is a collaborative effort between the participating institutions of Caltech, Cornell, MIT, and UCLA. The following ``dimensions'' of cooperative control offer an effective breakdown of the cooperative control landsacpe: 1) Distributed control and computation, 2) Adversarial interactions, 3) Uncertain evolution, and 4) ... |
|
| Fuseflow: A Workflow-Aware Fuselet Management Environment |
JUL 2006 |
50 pages |
| Authors:
Matthew Stillerman; Robert Joyce; Andrew Chruscicki; Brady Tsurutani; ARCHITECTURE TECHNOLOGY CORP ITHACA NY
|
| Information spaces deployed under the Joint Battlespace Infosphere (JBI) program utilize small transformation fuselets to build up applications of meaning to end users. FuseFlow is a design, management, and performance monitoring system for structured collections of JBI fuselets and non fuselet clients. These collections, termed fuselet workflows, have clear meaning to end users and address significant challenges for fuselets in the areas of scale, concurrency, authoring, and maintenance. In addition, ... |
|
| PROxy Based Estimation (PROBE) for SQL |
MAY 2006 |
|
| Authors:
Rob Schoedel; CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
|
| This paper presents a method for applying the PROxy Based Estimation (PROBE) technique to Structured Query Language (SQL). Estimating program size is a critical component of successful software project effort estimation and cost estimation. The PROBE technique is a simple estimation method that can be used for estimating program size and effort. To date, PROBE has been used more often to estimate programs written in third-generation programming languages (3GL) such ... |
|
| Development of a Mathematica Tool for Implementation of a Prognostics Decision-Making Process Based on Component Life History |
APR 2006 |
119 pages |
| Authors:
Michael J. Cushing; ARMY MATERIEL SYSTEMS ANALYSIS ACTIVITY ABERDEEN PROVING GROUND MD
|
| The key benefit of prognostics is that it can be used to reduce failure risks during deployments and missions when failure is particularly disadvantageous and maintenance inconvenient due to the reduced logistics footprint. One approach to prognostics is to monitor usage in conjunction with an aging model thereby keeping track of remaining component lifetime. This enables one to track usage with on-board sensors and embed an algorithm in on-system logistics ... |
|
| Savage Modeling and Analysis Language (SMAL): Metadata for Tactical Simulations and X3D Visualizations |
MAR 2006 |
251 pages |
| Authors:
Travis Rauch; NAVAL POSTGRADUATE SCHOOL MONTEREY CA MODELING VIRTUAL ENVIRONMENTS AND SIMULATION
|
| Visualizing operations environments in three-dimensions is in keeping with the military's drive to increase the speed and accuracy with which warfighters make decisions in the command center and in the field. Three-dimensional (3D) environments support speed in decision-making by presenting complex systems in an integrated, naturalistic display format. Constructing these environments is a time-consuming task requiring specific expertise not typically available in the command center. The future use of 3D ... |
|
| Understanding Mobile Code and Secure Execution Environments |
21 FEB 2006 |
8 pages |
| Authors:
Keith Marzullo; Bennet Yee; CALIFORNIA UNIV REGENTS SAN DIEGO LA JOLLA CA
|
| The Sanctuary project investigated the engineering fundamentals of mobile code security. Under this project, we: (1) discovered and proved a simple way to implement symmetric key cryptographic schemes with the forwarding security property; (2) discovered and investigated the technique of secure speculative predictive remote execution. Also investigated were issues in fault tolerance for a specific problem domain: Grid Services. Six M.S. degrees were awarded under this project, and one Ph.D. ... |
|
| SAT-Based Software Certification |
FEB 2006 |
|
| Authors:
Sagar Chaki; CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
|
| This report formalizes a notion of witnesses as the basis of certifying the correctness of software. The first part of the report is concerned with witnesses for the satisfaction of linear temporal logic specifications by infinite state programs and shows how such witnesses may be constructed via predicate abstraction and validated by generating and proving verification conditions. In addition, the first part of the report proposes the use of theorem ... |
|
| Language Measure for Robust Optimal Control |
JAN 2006 |
17 pages |
| Authors:
PENNSYLVANIA STATE UNIV UNIVERSITY PARK
|
|
| Integrated Hypersonic Aerothermoelastic Methodology for Trans Atmospheric Vehicle (TAV)/Thermal Protection System (TPS) Structural Design and Optimization. Thermal Protection System Optimization (TPSOPT) |
JAN 2006 |
244 pages |
| Authors:
P. C. Chen; Xiaowei W. Gao; K. T. Chang; ZONA TECHNOLOGY INC SCOTTSDALE AZ
|
| This report was developed under a SBIR contract. The objective of this project was to develop a hypersonic aerothermoelastic methodology that optimizes the Thermal Protection System (TPS) for the Trans Atmospheric Vehicles (TAV) in the re-entry/maneuver flight phases. The outcome of this project is a Thermal Protection System Optimization (TPSOPT) software system that integrates multiple disciplines, including the hypersonic aerodynamics, aerothermodynamics, heat transfer, aeroelasticity, with an automatic optimization technique for ... |
|
| A Flexible Approach for Managing Digital Images on the Semantic Web |
2006 |
11 pages |
| Authors:
Christian Halaschek-Wiener; Andrew Schain; Jennifer Golbeck; Michael Grove; Bijan Parsia; Jim Hendler; MARYLAND UNIV COLLEGE PARK
|
| As the volume of digital images available on the Web continues to increase, there is a clear need for more advanced techniques for their effective retrieval and management. Recently, there has been an interest in applying Semantic Web technologies to represent the high level content of digital images in a machine processable format. While progress has been made, through a representative use case, we provide motivation for further work in ... |
|
| Analysis of TLCharts for Weapon Systems Software Development |
DEC 2005 |
107 pages |
| Authors:
Kadir A. Demir; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| The success of formal specifications and reactive systems is highly dependant on the formal specification language being used. To date, the most common approach to this problem involves two activities: (i) the specification activity, where correctness properties are specified, and (ii) verification activity, where the system under review is proven to satisfy those properties. Typically, some form of temporal logic or regular expression language is used to specify the correctness ... |
|
| Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends |
DEC 2005 |
|
| Authors:
Sagar Chaki; Rosann W. Collins; Peter Feiler; John Goodenough; Aaron Greenhouse; Jorgen Hansson; Alan R. Hevner; John Hudak; Angel Jordan; Rick Kazman; CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
|
| Each year, the Software Engineering Institute (SEI) undertakes several Independent Research and Development (IR&D) projects. These projects serve to (1) support feasibility studies investigating whether further work by the SEI would be of potential benefit, and (2) support further exploratory work to determine whether there is sufficient value in eventually funding the feasibility study work as an SEI initiative. Projects are chosen based on their potential to mature and/or transition ... |
|
| Temporally Aware Reactive Systems |
28 SEP 2005 |
243 pages |
| Authors:
Mark P. Jones; OREGON GRADUATE INST BEAVERTON DEPT OFMATERIALS SCIENCE AND ENGINEERING
|
| Real-time embedded software development is recognized as a significant cost and schedule driver for many of today's advanced-and highly software-centric-military systems. This project targets these issues directly by developing techniques to enable rapid construction and greater reuse in embedded systems while also delivering reliability and performance improvements. In particular, these benefits are a result of the ability to analyze the behavior and correctness of real-time software; the ability to construct ... |
|
| Retrofitting Autonomic Capabilities Onto Legacy Systems |
28 SEP 2005 |
36 pages |
| Authors:
Janak Parekh; Gail Kaiser; Philip Gross; Giuseppe Valetto; COLUMBIA UNIV NEW YORK
|
| Autonomic computing - self-configuring, self-healing, self-managing applications, systems and networks - is a promising solution to ever-increasing system complexity and the spiraling costs of human management as systems scale to global proportions. Most results to date, however, suggest ways to architect new software designed from the ground up as autonomic systems, whereas in the real world organizations continue to use stovepipe legacy systems and/or build "systems of systems" that draw ... |
|
| Analysis of Binary XML Suitability for NATO Tactical Messaging |
SEP 2005 |
129 pages |
| Authors:
Matthew E. Bayer; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| The ability to efficiently transfer information among tactical systems is essential for network-centric operations. However, maintaining interoperability among heterogeneous networks and applications is a challenging issue, especially for large enterprises such as the US Department of Defense and NATO. Each of these organizations maintain extensive communication networks of tactical systems that process and manage all types of data. Additional complexity is added when considering that many systems are built with ... |
|
| Elements of a Usability Reasoning Framework |
SEP 2005 |
|
| Authors:
Jinhee Lee; Len Bass; CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
|
| This technical note brings together two different threads of work: (1) investigating the relationship between usability and software architecture that has generated a number of usability scenarios with implications for software architecture, and (2) developing an architecture design assistant, Architecture Expert (ArchE). One key element of ArchE is that quality-attribute knowledge can be encapsulated into reasoning frameworks, and a Carnegie Mellon University Master of Software Engineering project team has developed ... |
|
| Effects Based Operations (EBO) |
SEP 2005 |
58 pages |
| Authors:
Paul R. Cohen; MASSACHUSETTS UNIV AMHERST DEPT OF COMPUTER SCIENCE
|
| Several parts of an integrated decision aid for Effects Based Operations (EBO) were designed and implemented. These extensive improvements to the Capture the Flag (CtF) wargaming system included a new declarative executable action specification language (Tapir) and simulation definition language (Krill); improved models of morale and defeat (Defeat Mechanisms); and a semi-graphical Action Model language. Combined, these pieces help to create models that can be used to evaluate Courses of ... |
|
| Building Certified Libraries for PCC: Dynamic Storage Allocation |
31 AUG 2005 |
23 pages |
| Authors:
Dachuan Yu; Nadeem A. Hamid; Zhong Shao; YALE UNIV NEW HAVEN CT DEPT OF COMPUTER SCIENCE
|
| Proof-Carrying Code (PCC) allows a code producer to provide to a host a program along with its formal safety proof. The proof attests a certain safety policy enforced by the code, and can be mechanically checked by the host. While this language-based approach to code certification is very general in principle, existing PCC systems have only focused on programs whose safety proofs can be automatically generated. As a result, many ... |
|
| Security Ontology for Annotating Resources |
31 AUG 2005 |
54 pages |
| Authors:
Anya Kim; Jim Luo; Myong Kang; NAVAL RESEARCH LAB WASHINGTON DC
|
| Annotation with security-related metadata enables discovery of resources that meet security requirements. this paper presents the NRL Security Ontology, which complements existing ontologies in other domains that focus on annotation of functional aspects of resources. Types of security information that could be described include mechanisms, protocols, objectives, algorithms, and credentials in various levels of detail and specificity. The NRL Ontology is more comprehensive and better organized than existing security ontologies. ... |
|
| An Integrated Suite of Text and Data Mining Tools - Phase II |
30 AUG 2005 |
67 pages |
| Authors:
Paul R. Frey; Brian S. Minsk; Alan L. Porter; SEARCH TECHNOLOGY INC NORCROSS GA
|
| This report summarizes the results of a three-year SBIR project to develop an integrated suite of text and data mining tools. The goal of this project is to provide tools that can help analysts find connections between requirements (as expressed in requirements, documents, or databases) and open-source research literature. An overall approach is outlined, and a step-by-step overview of the work is presented. The tool suite includes parsers for text ... |
|
| Integration of Analytic and Synthetic Biosystem Models and Data |
24 AUG 2005 |
79 pages |
| Authors:
Jonathan Delatizky; Jonathan Webb; BBN TECHNOLOGIES CAMBRIDGE MA
|
| This effort, funded under DARPA's Biocomputing (BioComp) program, was directed at providing data services for the BioSpice infrastructure. BioSpice is an environment akin to the Electrical Engineering SPICE modeling and simulation package, in which an open environment and standards-based modularity enable an enormous range of tools for the development and understanding of electronic circuits to be applied without restrictions resulting from proprietary or closed interfaces. BBN also teamed with the ... |
|
| Defense Advanced Research Projects Agency (DARPA) Agent Markup Language Computer Aided Knowledge Acquisition |
24 AUG 2005 |
450 pages |
| Authors:
Lee Lacy; DYNAMICS RESEARCH CORP ORLANDO FL
|
| Dynamics Research Corporation (DRC) supported DARPA Agent Markup Language (DAML) research by investigating potential military applications for Semantic Web technology. DRC developed a variety of ontologies to demonstrate the application of DAML technology and to identify challenges to military-specific applications. DRC's experience with ontology development and maintenance led to the development of ontology configuration management and versioning processes. Initial research under this contract has influenced the adoption of DAML by ... |
|
| Groundtruth Generation and Document Image Degradation |
MAY 2005 |
73 pages |
| Authors:
Gang Zi; MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE
|
| The problem of generating synthetic data for the training and evaluation of document analysis systems has been widely addressed in recent years. With the increased interest in processing multilingual sources, however, there is a tremendous need to be able to rapidly generate data in new languages and scripts, without the need to develop specialized systems. We have developed a system, which uses language support of the MS Windows operating system ... |
|
| Coaching: Learning and Using Environment and Agent Models for Advice |
31 MAR 2005 |
241 pages |
| Authors:
Patrick Riley; CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE
|
| Coaching is a relationship in which one agent provides advice to another about how to act. This thesis explores a range of problems faced by an automated coach agent in providing advice to one or more automated advice-receiving agents. The coach's job is to help the agents perform as well as possible in their environment. The author identifies and addresses a set of technical challenges: How can the coach learn ... |
|
| Aspect Suite Automation for Embedded Mission Systems |
01 MAR 2005 |
43 pages |
| Authors:
Brian J. Ellis; John A. Stankovic; BOEING CO ST LOUIS MO
|
| Aspect oriented programming (AOP), when used well, has many advantages. Aspects are however, programming-time constructs, i.e., they relate to source code. In this project, two types of design time aspects were identified, aspect checks and prescriptive aspects and these concepts were incorporated into a compositional toolkit: VEST. The VEST toolkit can substantially improve the development, implementation and evaluation of systems built from components which must interoperate, satisfy various dependencies, and ... |
|
| Developing Secure Agent Systems Using Delegation Based Trust Management |
2005 |
9 pages |
| Authors:
Lalana Kagal; Tim Finin; Anupam Joshi; MARYLAND UNIV BALTIMORE
|
| We present an approach to some security problems in multi-agent systems based on distributed trust and the delegation of permissions, and credibility. We assume an open environment in which agents must interact with other agents with which they are not familiar. In particular, an agent will receive requests and assertions from other agents and must decide how to act on the requests and assess the credibility of the assertions. In ... |
|
| Visual Security Protocol Modeling |
2005 |
14 pages |
| Authors:
J. McDermott; NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)
|
| This paper argues that the existing model-driven architecture paradigm does not adequately cover the visual modeling of security protocols: sequences of interactions between principals. A security protocol modeling formalism should be not only well-defined but also support event-based, compositional, comprehensive, laconic, lucid, sound, and complete modeling. Candidate visual approaches from both the OMG's MDA and other more well-defined formalisms fail to satisfy one or more of these criteria. By means ... |
|
Reports by Keyword(s)
PROGRAMMING LANGUAGES
