23 search results - page 1 / 5 » Abstract non-interference: parameterizing non-interference b... |
161
click to vote
POPL
2004
ACM
15 years 10 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 -...
105
click to vote
FMCAD
2008
Springer
14 years 12 months 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...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
FMICS
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
ICTCS
2007
Springer
15 years 4 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...