A Formal Specification of the MIDP 2.0 Security Model.
Santiago Zanella BéguelinGustavo BetarteCarlos LunaPublished in: Formal Aspects in Security and Trust (2006)
Keyphrases
- security model
- formal specification
- public key
- access control
- security analysis
- model checking
- specification languages
- security requirements
- specification language
- object oriented design
- reverse engineering
- process algebra
- concurrent systems
- formal methods
- provably secure
- case study
- temporal logic
- encryption scheme
- quality of service
- fine grained
- relational databases
- database