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 - Venice, January 15th, 2004 Non-interference - Parameterizing Non-Interference by Abstract Interpretation ? p.1/15 

• Type: Conference
• Year: 2004
• Where: POPL
• Authors: Roberto Giacobazzi, Isabella Mastroeni
• Keywords: Interpretation Roberto Giacobazzi, Mastroeni Dipartimento Di, POPL 2004, Programming Languages