Building trust in 3PIP using asset-based security property verification.
Juan PortilloEugene JohnSeetharam NarasimhanPublished in: VTS (2016)
Keyphrases
- high security
- security services
- trust management
- access control
- trust relationships
- trust model
- integrity verification
- intrusion detection
- trust negotiation
- trust evaluation
- trusted computing
- security issues
- java card
- cryptographic protocols
- statistical databases
- information security
- privacy concerns
- security model
- key management
- internet banking
- network security
- security mechanisms
- formal verification
- security analysis
- security requirements
- security policies
- blind signature scheme
- public key infrastructure
- ad hoc networks
- high assurance