Taxonomic Search: joshua OR sunshine

Results 1 - 10 of 14

Results

profile
profile
page

NSA SoS Projects

Games and Abstraction: The Science of Cyber Security  - Dusko Pavlovic, Royal Holloway, Univ. of London

GLASS: Geometric Logic for Analyzing Security with Strands - Joshua Guttman, Worcester Polytechic Institute

file

NSF/IARPA/NSA Workshop on the Science of Security Agenda

NSF/IARPA/NSA Workshop on the Science of Security

PROGRAM AGENDA

page

Science of Security Meeting Agenda

2012 Science of Security Community Meeting
Gaylord National Hotel and Convention Center | Cherry Blossom Ballroom
National Harbor, Maryland | November 29-30, 2012

Thursday, November 29

file

A Roadmap for Cybersecurity Research

This document provides detailed research and development agendas for the future relating to 11 hard problem areas in cybersecurity, for use by agencies of the U.S. Government and anyone else that is funding or doing R&D.

event

Lablet Quarterly Meeting
Apr 17, 2012 8:00:am - 10:30:am

The second quarterly Science of Security lablet meeting was hosted by David Nicol and Bill Sanders, at the University of Illinois in Urbana-Champaign. The focus of the meeting centered around the progress and impediments on proposals.

Program Agenda

0800 Closed Meeting, Sponsors & Lablet PIs

1964 Science Paper on Strong Inference
Discussion led by Carl Landwehr

file

Final Report: 2008 Berkeley SoS Workshop

The NSF/IARPA/NSA Workshop on the Science of Security was held November 17-18, 2008 in Berkeley, CA.  This meeting brought together over 40 government and academic professionals from computer security and a wide variety of other relevant fields to consider the state of scientific research in computer security and to identify steps toward establishing a stronger scientific basis for computer system security.