Sheaves As Models For Cybersecurity
Abstract
This research aims to develop new mathematical formalisms for studying: (1) the behaviors of concurrent program executions; (2) the dynamics of information salient to security, akin to the study of security of information flow in program executions.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Dec 05, 2016
- Source ID
- FA95501610212
Entities
People
- Sanjeevi Krishnan
Organizations
- Air Force Office of Scientific Research
- Ohio State University
- United States Air Force