Automated Verification of Security Policies in Mobile Code.
Chiara BraghinNatasha SharyginaKaterina Barone-AdesiPublished in: IFM (2007)
Keyphrases
- security policies
- automated verification
- model checking
- access control
- automated reasoning
- formal verification
- network security
- security management
- security concerns
- security requirements
- distributed systems
- mobile devices
- access control policies
- access control systems
- graph theory
- databases
- theorem proving
- computer networks
- database systems
- access control mechanism
- artificial intelligence
- machine learning