5639 search results - page 1 / 1128 » Timed Abstract Non-interference |
FMCAD
2008
Springer
14 years 12 days ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
ENTCS
2007
13 years 10 months ago
2007
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
POPL
2004
ACM
14 years 11 months ago
2004
ACM
NON-INTERFERENCE rizing Non-Interference by Abstract Interpretation Roberto Giacobazzi and Isabella Mastroeni Dipartimento di Informatica Universit`a di Verona Italy POPL'04 -...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
FORMATS
2009
Springer
14 years 5 months ago
2009
Springer
In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference propert...