SBIR/STTR Research Award
Composition and Verification of System Security Policies
Award amount
$99,812Program and phase
SBIR · Phase IAward year
2007Award details
- Awarding agency
- Department of Defense
- Branch
- Missile Defense Agency
- Recipient company
- KESTREL TECHNOLOGY LLC
- Proposal award date
- 2007-03-29
- Contract end date
- 2007-09-29
- UEI
- Y9NYPZALSSS6
- Solicitation number
- 2006.3
- Topic code
- MDA06-002
Research abstract
Modern complex system-of-systems have the problem of coordinating and uniformly enforcing system-wide security policies. This project focuses on formal specification of security policies, system modeling, and specialized analysis tools for (i) composing and analyzing security policies, (ii) checking implementation relationships between policies at different system layers, and (iii) checking conformance of a system design with a given security policy.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- Effects-Driven Multi-Domain Planning
- Binary Assurance Through Proofs Of Properties
- Service-Based Multi-Domain Planning
- Binary Assurance Through Proofs Of Properties
- SMT-based Formal Unit Testing
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
Research funding history
40 SBIR/STTR records share this UEI (1986–2023). Reported award amounts total $11,757,398. Reported amounts are not federal obligations.
Phases: Phase I, Phase II, Phase II – Direct to Phase II
Agencies: Department of Defense, National Aeronautics and Space Administration, National Science Foundation