Sign in

Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement.

Suryadipta MajumdarAzadeh TabibanMeisam MohammadyAlaa OqailyYosr JarrayaMakan PourzandiLingyu WangMourad Debbabi
Published in: ESORICS (2) (2019)
Keyphrases
  • efficient solutions
  • security enforcement
  • bi objective
  • bicriteria
  • access control
  • optimal solution
  • heuristic methods
  • formal methods
  • model checking
  • smart card