Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach.
Stylianos BasagiannisSophia G. PetridouNikolaos AlexiouGeorgios I. PapadimitriouPanagiotis KatsarosPublished in: Comput. Secur. (2011)
Keyphrases
- quantitative analysis
- model checking
- mobile environments
- model checker
- temporal logic
- formal verification
- qualitative analysis
- mobile users
- symbolic model checking
- formal specification
- mobile devices
- mobile computing
- temporal properties
- context aware
- automated verification
- timed automata
- qualitative and quantitative analysis
- computation tree logic
- mobile agents
- verification method
- formal methods
- bounded model checking
- transition systems
- reactive systems
- epistemic logic
- location based services
- computing environments
- mobile applications
- alternating time temporal logic
- mobile phone
- multi agent systems
- mobile networks
- modal logic
- data management
- distributed systems
- databases