Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content

Showing 1–1 of 1 results for author: Meijer, P

Searching in archive cs. Search in all archives.
.
  1. arXiv:1901.01867  [pdf, other

    cs.CR cs.SE

    Deriving Cyber-security Requirements for Cyber Physical Systems

    Authors: Robert Laddaga, Paul Robertson, Howard Shrobe, Dan Cerys, Prakash Manghwani, Patrik Meijer

    Abstract: Today's cyber physical systems (CPS) are not well protected against cyber attacks. Protected CPS often have holes in their defense, due to the manual nature of today's cyber security design process. It is necessary to automate or semi-automate the design and implementation of CPS to meet stringent cyber security requirements (CSR), without sacrificing functional performance, timing and cost constr… ▽ More

    Submitted 7 January, 2019; originally announced January 2019.

    Report number: AICS/2019/03