Formal verification of security properties in trust management policy.
Jianwei NiuMark ReithWilliam H. WinsboroughPublished in: J. Comput. Secur. (2014)
Keyphrases
- formal verification
- security properties
- trust management
- cryptographic protocols
- trust negotiation
- access control
- security requirements
- model checking
- access control policies
- management system
- trust evaluation
- security analysis
- formal model
- trust model
- decision support
- formal methods
- virtual communities
- security policies
- security protocols
- virtual organization
- test bed
- service providers
- computing environments
- data security
- security mechanisms
- elliptic curve
- software engineering
- expert systems
- social networks
- knowledge base