177 search results - page 4 / 36 » Higher-Order Abstract Non-interference |
CORR
2008
Springer
13 years 10 months ago
2008
Springer
ENTCS
2008
13 years 10 months ago
2008
ENTCS
2002
13 years 9 months ago
2002
FMCAD
2008
Springer
13 years 11 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...
FMICS
2008
Springer
13 years 11 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...