Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android.
Hamid BagheriAlireza SadeghiReyhaneh Jabbarvand BehrouzSam MalekPublished in: DSN (2016)
Keyphrases
- security policies
- access control
- access control policies
- security management
- xml access control
- distributed systems
- mandatory access control
- fine grained
- network security
- security concerns
- security requirements
- real world
- access control systems
- mobile devices
- home network
- role based access control
- mobile applications