Mitre Corporation

About: Mitre Corporation is a company organization based out in Bedford, Massachusetts, United States. It is known for research contribution in the topics: Air traffic control & National Airspace System. The organization has 4884 authors who have published 6053 publications receiving 124808 citations. The organization is also known as: Mitre & MITRE.

Description of the FAA's Local Area Augmentation System (LAAS)*

Abstract: The Local Area Augmentation System (LAAS) is the Federal Aviation Administration's ground-based augmentation system (GBAS) for local area differential GPS (DGPS). It will support all categories of precision approach. LAAS is currently under advanced development and specification. The purpose of this paper is to provide a system description of LAAS and to describe important related developments for the aviation and navigation communities. Both top-level and intermediate-level descriptions are given, with emphasis on the Ground Segment. Three distinguishing advances are described in more detail: Multipath Limiting Antenna, Airport Pseudolite, and a method for transforming integrity parameters from the pseudorange to the position domain.

A case study of verification, validation, and accreditation for advanced distributed simulation

Abstract: The techniques and methodologies for verification and validation of software-based systems have arguably realized their greatest utility within the context of simulation. Advanced Distributed Simulation (ADS), a major initiative within the defense modeling and simulation community, presents a variety of challenges to the classical approaches. A case study of the development process and concomitant verification and validation activities for the Joint Training Confederation (JTC) is presented. The JTC is one of the largest current ADS efforts, and the primary application of the Aggregate Level Simulation Protocol. A dichotomy between classical verification and validation approaches and the requirements of a prototypical ADS environment is illustrated. Mechanisms and research directions to resolve these differences are briefly discussed.

BIOS chronomancy: fixing the core root of trust for measurement

Abstract: In this paper we look at the implementation of the Core Root of Trust for Measurement (CRTM) from a Dell Latitude E6400 laptop. We describe how the implementation of the CRTM on this system doesn't meet the requirements set forth by either the Trusted Platform Module(TPM)PC client specification or NIST 800-155 guidance. We show how novel tick malware, a 51 byte patch to the CRTM, can replay a forged measurement to the TPM, falsely indicating that the BIOS is pristine. This attack is broadly applicable, because all CRTMs we have seen to date are rooted in mutable firmware. We also show how flea malware can survive attempts to reflash infected firmware with a clean image. To fix the untrustworthy CRTM we ported an open source "TPM-timing-based attestation" implementation from running in the Windows kernel, to running in an OEM's BIOS and SMRAM. This created a new, stronger CRTM that detects tick, flea, and other malware embedded in the BIOS. We call our system "BIOS Chronomancy", and we show that it works in a real vendor BIOS, with all the associated complexity, rather than in a simplified research environment.

Sub-symbol parallel interference cancellation

Abstract: Reduction of multiple access interference, in one example for asynchronous CDMA systems using long codes. In one aspect, parallel interference cancellation (PIC) implements a decoupled estimate, preferably non-linear and applied at chip intervals. According to another aspect, interference is cancelled using a technique that estimates bits for a symbol by interpolating signature waveforms for users to a common sampling lattice of the received data. According to another aspect, multi-stage, hybrid multi-stage, and reconfigurable recursive multi-stage multi-user detection architectures and corresponding processes are provided.

A statistical and physical mechanisms-based interference and noise model for array observations

Abstract: A statistical noise model is developed from mathematical modeling of the physical mechanisms that generate noise in communication receivers employing antenna arrays. Such models have been lacking for cases where the antenna observations may be statistically dependent from antenna to antenna. The model is developed by generalizing an approach for single antenna cases suggested by Middleton (1967, 1974, 1976, 1977). The model derived here is applicable to a wide variety of physical situations. The focus is primarily on problems defined by Middleton to be Class A interference. The number of noise sources in a small region of space is assumed to be Poisson distributed, and the emission times are assumed to be uniformly distributed over a long time interval. Finally, an additive Gaussian background component is included to represent the thermal noise that is always present in real receivers.