Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Eric Rothstein Morris"'
Publikováno v:
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030393212
VMCAI
VMCAI
In this work, we study the problem of verification of systems in the presence of attackers using bounded model checking. Given a system and a set of security requirements, we present a methodology to generate and classify attackers, mapping them to t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d2fc2e73baabb5628ead63e386a3ec7
https://doi.org/10.1007/978-3-030-39322-9_11
https://doi.org/10.1007/978-3-030-39322-9_11
Publikováno v:
PLAS@CCS
In a software system it is possible to quantify the amount of information that is leaked or corrupted by analysing the flows of information present in the source code. In a cyber-physical system, information flows are not only present at the digital
Autor:
Joachim Posegga, Eric Rothstein Morris
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319308050
ESSoS
ESSoS
We present a novel theory of security property enforcement based on universal coalgebra and coinductive calculus. As an example, we show that it is possible to define sound and transparent runtime enforcers for noninterference using behavioural equat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b9a1fd1a81e03697f94acda5fec90181
https://doi.org/10.1007/978-3-319-30806-7_17
https://doi.org/10.1007/978-3-319-30806-7_17
Autor:
Eric Rothstein Morris, Gábor Horváth, Attila Egri-Nagy, Daniel Schreckling, John Rhodes, Maria J. Schilstra, Fariba Karimi, Paolo Dini, Chrystopher L. Nehaniv
Publikováno v:
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences. 373(2046)
Interaction computing is inspired by the observation that cell metabolic/regulatory systems construct order dynamically, through constrained interactions between their components and based on a wide range of possible inputs and environmental conditio