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 - 4:58pm

biblio

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

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

file

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

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

biblio

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

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

file

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

Submitted by awhitesell on Fri, 02/03/2017 - 12:31pm

biblio

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

Submitted by awhitesell on Fri, 02/03/2017 - 12:21pm

file

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

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

biblio

Distributed Optimization by Myopic Strategic Interactions and the Price of Heterogeneity

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

file

11012016 Cao

Submitted by awhitesell on Mon, 01/23/2017 - 12:42pm

biblio

Automated Generation of Attack Signatures in Attack Graphs

Submitted by awhitesell on Mon, 01/23/2017 - 12:42pm

Terms of Use | ©2023. CPS-VO