Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

NSA SoS Lablets Materials

file

Using Run-Time Checking to Provide Safety and Progress for Distributed Cyber-Physical Systems

Submitted by awhitesell on Fri, 02/03/2017 - 3:58pm

biblio

Using Run-Time Checking to Provide Safety and Progress for Distributed Cyber-Physical Systems

Submitted by awhitesell on Fri, 02/03/2017 - 3:52pm

file

Semantic Security Analysis of SCADA Networks to Detect Malicious Control Commands in Power Grids

Submitted by awhitesell on Fri, 02/03/2017 - 3:46pm

biblio

Semantic Security Analysis of SCADA Networks to Detect Malicious Control Commands in Power Grids

Submitted by awhitesell on Fri, 02/03/2017 - 3:43pm

file

GUIDEX A Game-Theoretic Incentive-Based Mechanism for Intrusion Detection Networks

Submitted by awhitesell on Fri, 02/03/2017 - 11:31am

biblio

GUIDEX: A Game-Theoretic Incentive-Based Mechanism for Intrusion Detection Networks

Submitted by awhitesell on Fri, 02/03/2017 - 11:21am

file

Distributed Optimization by Myopic Strategic Interactions and the Price of Heterogeneity.pdf

Submitted by awhitesell on Fri, 02/03/2017 - 10:52am

biblio

Distributed Optimization by Myopic Strategic Interactions and the Price of Heterogeneity

Submitted by awhitesell on Fri, 02/03/2017 - 10:48am

file

11012016 Cao

Submitted by awhitesell on Mon, 01/23/2017 - 11:42am

biblio

Automated Generation of Attack Signatures in Attack Graphs

Submitted by awhitesell on Mon, 01/23/2017 - 11:42am

Terms of Use | ©2023. CPS-VO