Apply Model Checking to Security Analysis in Trust Management.
Mark ReithJianwei NiuWilliam H. WinsboroughPublished in: ICDE Workshops (2007)
Keyphrases
- model checking
- security analysis
- trust management
- temporal logic
- security requirements
- smart card
- management system
- access control
- public key
- formal specification
- trust model
- virtual organization
- formal verification
- virtual communities
- security policies
- test bed
- encryption scheme
- computing environments
- formal methods
- access control policies
- cooperative