Formal Specification and Verification of Resource Bound Security Using PVS.
Weijiang YuAloysius K. MokPublished in: ISSS (2003)
Keyphrases
- formal specification
- model checking
- formal verification
- protocol specification
- model checker
- formal methods
- concurrent systems
- temporal logic
- process algebra
- specification language
- specification languages
- object oriented design
- high security
- lower bound
- bounded model checking
- information security
- upper bound
- grid workflow
- access control
- java card
- integrity verification
- cryptographic protocols
- data abstraction
- resource management
- resource allocation
- formal specification language
- asynchronous circuits
- communication protocols
- software components
- user interface
- theorem proving
- reverse engineering
- data model
- xml documents
- computation tree logic
- expert systems