A Dynamic Approach to Defuse Logic Bombs in Android Applications.

Fausto Fasano Michele Guerra Roberto Milanese Rocco Oliveto

Published in: DBSec (2023)

Keyphrases

databases
logic programming
modal logic
artificial intelligence
data structure
data model
multi valued
predicate logic