Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Automated Synthesis of Resilient Architectures

biblio

Establishing a Baseline for Measuring Advancement in the Science of Security - an Analysis of the 2015 IEEE Security & Privacy Proceedings

Submitted by drwright on Mon, 04/11/2016 - 4:24pm

biblio

Property-Based Verification of Evolving ddd Petri Nets

Submitted by ealshaer on Tue, 12/29/2015 - 5:06am

biblio

Cyber Resilience-by-Construction: Modeling, Measuring & Verifying

Submitted by ealshaer on Tue, 12/29/2015 - 5:03am

Automated Synthesis of Resilient Architectures

biblio

Automated Synthesis of Resilient Network Access Controls: A Formal Framework with Refinement

Submitted by ealshaer on Tue, 12/29/2015 - 4:57am

biblio

Formal Synthesis of Dependable Configurations for Advanced Metering Infrastructures

Submitted by drwright on Thu, 10/08/2015 - 6:47pm

Automated Synthesis of Resilient Architectures

biblio

Moving Target Defense for Hardening the Security of the Power System State Estimation

Submitted by drwright on Sun, 01/11/2015 - 4:54pm

Terms of Use | ©2023. CPS-VO