Taxonomic Search: jones, kevin OR r
Verification of cyber-physical systems is complicated by both their heterogeneous nature as well as their sheer complexity. Cyber-physical systems include hardware, software, and physical environment, so a formal model must integrate all of these concerns.
The locations marked "R" mean the right half of the 4'x8' panel with the corresponding number, and are scheduled for the Wednesday session. The locations marked "L" designate the left half of the corresponding numbered panel, and are scheduled for the Thursday session.
Poster Session Map
This Information Assurance Technology Analysis Center (IATAC) State of the Art Report (SOAR) provides a representative overview of the current state of the art of the measurement of cyber security and information assurance (CS/IA). It summarizes the progress made in the CS/IA measurement discipline and advances in CS/IA measurement research since 2000. Topics addressed include: terms and definitions used to describe CS/IA measurement; standards, guidelines, and best practices for development and impl
An recent issue of The Next Wave; The National Security Agency's review of emerging technologies, highlighted the science of cybersecurity.
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.