Sciweavers

POPL
2004
ACM
15 years 22 days ago
Abstract non-interference: parameterizing non-interference by abstract interpretation
NON-INTERFERENCE rizing Non-Interference by Abstract Interpretation Roberto Giacobazzi and Isabella Mastroeni Dipartimento di Informatica Universit`a di Verona Italy POPL'04 -...
Roberto Giacobazzi, Isabella Mastroeni