A Framework for Formal Specification and Verification of Security Properties of the Android Permissions System.

Amirhosein Sayyadabdi

Published in: CoRR (2022)

Keyphrases

formal specification
formal methods
model checking
security properties
concurrent systems
object oriented design
lightweight
specification language
process algebra
formal model
grid workflow
information systems
security protocols
temporal logic
cloud computing
access control
relational databases
multi agent systems