Login / Signup

Instruction-level security typing by abstract interpretation.

Nicoletta De FrancescoLuca Martini
Published in: Int. J. Inf. Sec. (2007)
Keyphrases
  • abstract interpretation
  • termination analysis
  • access control
  • static analysis
  • active rules