Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Mallios, Yannis"'
Autor:
Gritzalis, Dimitris, Mallios, Yannis
Publikováno v:
In Computers & Security 2008 27(5):136-153
Run-time monitors ensure that untrusted software and system behavior adheres to a security policy. This paper defines an expressive formal framework, based on I/O automata, for modeling systems, policies, and run-time monitors in more detail than is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee9524bf4aadf1f2bfb156bdb2ef99f1
Publikováno v:
Security & Trust Management; 2013, p17-32, 16p
Publikováno v:
Security & Trust Management (9783642410970); 2013, p144-159, 16p
Publikováno v:
Emerging Challenges for Security, Privacy & Trust; 2009, p410-420, 11p