Accession Number:

ADA582166

Title:

Proof-Carrying Survivability

Descriptive Note:

Final performance rept. Mar 2009-Nov 2012

Corporate Author:

NORTH DAKOTA UNIV GRAND FORKS

Personal Author(s):

• Zuo, Yanjun

Report Date:

2013-01-15

Pagination or Media Count:

12.0

Abstract:

The objective of this project was to develop a logic-based framework for proof-carrying survivability a user publishes hisher survivability requirement policy a system provider constructs a proof to show that the system satisfies the user s requirements and the user verifies if the proof is valid. We have developed techniques that enable users to specify measureable and certifiable survivability requirements and represent their survivability policy. From the perspective of system acquisition and engineering, developing a survivability requirement is the important first step in survivability specification, compliance formulation, and proof verification. An important part of the project is a logic model for survivability requirement representation, compliance proof construction, and user verification. We have developed various techniques for proof evidence search, proof derivation, and proof code checking. Moreover, the logic model facilitates constrained reasoning, i.e., possibilistic uncertainty and survivability requirement constraints are effectively linked to logical reasoning.

Descriptors:

• *SURVIVABILITY
• LOGIC
• REASONING
• REQUIREMENTS
• VERIFICATION

Subject Categories:

• Escape, Rescue and Survival

Distribution Statement:

APPROVED FOR PUBLIC RELEASE