Model-based Analysis and Synthesis for Security of Control Systems
| Title | Model-based Analysis and Synthesis for Security of Control Systems |
| Publication Type | Presentation |
| Year of Publication | 2015 |
| Authors | Sayan Mitra, University of Illinois at Urbana-Champaign, Geir Dullerud, University of Illinois at Urbana-Champaign, Swarat Chaudhuri, Rice University |
| Keywords | NSA SoS Lablets Materials, science of security, Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems, UIUC |
| Notes | Presented at the NSA Science of Security Quarterly Lablet Meeting, October 2015. |
| URL | http://publish.illinois.edu/science-of-security-lablet/files/2014/05/10262015-Quarterly-Meeting-Slid... |
| Citation Key | node-31081 |
| Attachment | Size |
|---|---|
| bytes |