| 0 items selected.
Select all items:
|
| Automated Synthesis of Resilient Architectures - October 2016 | NCSU | FY14-18, Oct'16 | Resilient Architectures | NSA Program Manager | Sep 14 2016 - 9:21am | Jun 9 2020 - 10:56pm | Yes |
| Formal Specification and Analysis of Security-Critical Norms and Policies - April 2015 | NCSU | FY14-18, Apr'15 | Scalability and Composability, Policy-Governed Secure Collaboration | Approved by NSA | Mar 22 2015 - 1:20pm | Jun 9 2020 - 10:59pm | Yes |
| Formal Specification and Analysis of Security-Critical Norms and Policies - April 2016 | NCSU | FY14-18, Apr'16 | Scalability and Composability, Policy-Governed Secure Collaboration | Approved by NSA | Mar 10 2016 - 12:11pm | Jun 9 2020 - 11:03pm | Yes |
| Formal Specification and Analysis of Security-Critical Norms and Policies - April 2017 | NCSU | FY14-18, Apr'17 | Scalability and Composability, Policy-Governed Secure Collaboration | NSA Program Manager | Mar 20 2017 - 8:13pm | Jun 9 2020 - 11:06pm | Yes |
| Formal Specification and Analysis of Security-Critical Norms and Policies - January 2015 | NCSU | FY14-18, Jan'15 | Scalability and Composability, Policy-Governed Secure Collaboration | Approved by NSA | Dec 8 2014 - 12:05pm | Jun 9 2020 - 11:09pm | Yes |
| Formal Specification and Analysis of Security-Critical Norms and Policies - January 2016 | NCSU | FY14-18, Jan'16 | Scalability and Composability, Policy-Governed Secure Collaboration | Approved by NSA | Dec 1 2015 - 3:09pm | Jun 9 2020 - 11:12pm | Yes |
| Formal Specification and Analysis of Security-Critical Norms and Policies - January 2017 | NCSU | FY14-18, Jan'17 | Scalability and Composability, Policy-Governed Secure Collaboration | NSA Program Manager | Dec 12 2016 - 3:06pm | Jun 9 2020 - 11:14pm | Yes |
| Formal Specification and Analysis of Security-Critical Norms and Policies - July 2014 | NCSU | FY14-18, July'14 | Scalability and Composability, Policy-Governed Secure Collaboration | Approved by NSA | Jun 27 2014 - 5:27pm | Jun 9 2020 - 11:16pm | Yes |
| Formal Specification and Analysis of Security-Critical Norms and Policies - July 2015 | NCSU | FY14-18, July'15 | Scalability and Composability, Policy-Governed Secure Collaboration | Approved by NSA | Jun 17 2015 - 10:29am | Jun 9 2020 - 11:19pm | Yes |
| Formal Specification and Analysis of Security-Critical Norms and Policies - July 2016 | NCSU | FY14-18, July'16 | Scalability and Composability, Policy-Governed Secure Collaboration | Approved by NSA | Jun 13 2016 - 10:17am | Jun 9 2020 - 11:23pm | Yes |
| Formal Specification and Analysis of Security-Critical Norms and Policies - July 2017 | NCSU | FY14-18, August'17 | Policy-Governed Secure Collaboration | NSA Program Manager | Jun 9 2017 - 8:36am | Jun 9 2020 - 11:25pm | Yes |
| Formal Specification and Analysis of Security-Critical Norms and Policies - October 2014 | NCSU | FY14-18, Oct'14 | Scalability and Composability, Policy-Governed Secure Collaboration | Approved by NSA | Sep 24 2014 - 2:55pm | Jun 9 2020 - 11:28pm | Yes |
| Formal Specification and Analysis of Security-Critical Norms and Policies - October 2015 | NCSU | FY14-18, Oct'15 | Scalability and Composability, Policy-Governed Secure Collaboration | Approved by NSA | Sep 21 2015 - 9:09am | Jun 9 2020 - 11:29pm | Yes |
| Formal Specification and Analysis of Security-Critical Norms and Policies - October 2016 | NCSU | FY14-18, Oct'16 | Scalability and Composability, Policy-Governed Secure Collaboration | NSA Program Manager | Sep 14 2016 - 9:29am | Jun 9 2020 - 11:31pm | Yes |
| High-Assurance Active Cyber Defense Policies for Auto-Resiliency - April 2017 | NCSU | FY14-18, Apr'17 | Resilient Architectures | NSA Program Manager | Mar 20 2017 - 8:48pm | Jun 9 2020 - 11:34pm | Yes |
| High-Assurance Active Cyber Defense Policies for Auto-Resiliency - July 2017 | NCSU | FY14-18, August'17 | Resilient Architectures | NSA Program Manager | Jun 9 2017 - 8:42am | Jun 9 2020 - 11:38pm | Yes |
| Leveraging the Effects of Cognitive Function on Input Device Analytics to Improve - October 2014 | NCSU | FY14-18, Oct'14 | Human Behavior | Approved by NSA | Sep 24 2014 - 2:50pm | Jun 9 2020 - 11:41pm | Yes |
| Leveraging the Effects of Cognitive Function on Input Device Analytics to Improve Security - April 2015 | NCSU | FY14-18, Apr'15 | Human Behavior | Approved by NSA | Mar 22 2015 - 1:19pm | Jun 9 2020 - 11:44pm | Yes |
| Leveraging the Effects of Cognitive Function on Input Device Analytics to Improve Security - April 2016 | NCSU | FY14-18, Apr'16 | Human Behavior | Approved by NSA | Mar 10 2016 - 12:03pm | Jun 9 2020 - 11:47pm | Yes |
| Leveraging the Effects of Cognitive Function on Input Device Analytics to Improve Security - April 2017 | NCSU | FY14-18, Apr'17 | Human Behavior | NSA Program Manager | Mar 20 2017 - 8:14pm | Jun 9 2020 - 11:50pm | Yes |
