Login / Signup

Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications.

Isabella Mastroeni
Published in: Festschrift for Dave Schmidt (2013)
Keyphrases
  • abstract interpretation
  • termination analysis
  • knowledge representation
  • access control
  • management system
  • software engineering
  • model checking
  • static analysis