Application Virtualizaton as a Strategy for Cyber Foraging in Resource-Constrained Environments

This technical note explores the applicability of application virtualization as a strategy for cyber foraging in resource-constrained environments. Cyber foraging is a technique to enable resource-poor, mobile devices to leverage...

Reliability Improvement and Validation Framework

This report discusses the reliability validation and improvement framework developed by the SEI. The purpose of this framework is to provide a foundation for addressing the challenges of qualifying increasingly...

Resource Allocation in Dynamic Environments

When warfighting missions are conducted in a dynamic environment, the allocation of resources needed for mission operation can change from moment to moment. This report addresses two challenges of resource...

Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language

Model-Based Engineering with AADL introduces an architecture-centric approach to discovering software systems problems earlier, when they cost less to solve.

Insider Threat Study: Illicit Cyber Activity Involving Fraud in the U.S. Financial Services Sector

This report describes a new insider threat study in which researchers extracted technical and behavioral patterns from fraud cases and developed insights and risk indicators of malicious insider activity within...