Login / Signup

Adjoining Declassification and Attack Models by Abstract Interpretation.

Roberto GiacobazziIsabella Mastroeni
Published in: ESOP (2005)
Keyphrases
  • information systems
  • open source