FORMALLY GENERATING ADAPTIVE SECURITY PROTOCOLS

•  
• Overview
•  
• Time
•  
• Identity
•  
• Other
•  
• View All
•  

Overview

administered by

• Computer Science

grant awarded by

• AIR FORCE OFFICE OF SCIENTIFIC RESEARCH

Time

date/time interval

• May 22, 2008 - October 21, 2012

Identity

local award id

• 55626

Other

award status

• ASAP

sponsor level one

• DOD

sponsor level three

• AFOSR

sponsor level two

• AF