Towards Formal Validation of Trust and Security in the Internet of Services.
Roberto CarboneMarius MineaSebastian MödersheimSerena Elisa PontaMathieu TuruaniLuca ViganòPublished in: Future Internet Assembly (2011)
Keyphrases
- enterprise network
- security services
- policy enforcement
- security mechanisms
- brokerage services
- public key infrastructure
- electronic payment
- mobile commerce
- trust relationships
- security issues
- network services
- internet service providers
- electronic commerce
- trading partners
- internet banking
- trust management
- access control
- electronic transactions
- cloud services
- security protocols
- information services
- security requirements
- service management
- internet services
- content providers
- service providers
- mobile internet
- information security
- mobile devices
- web technologies
- payment systems
- network infrastructure
- intrusion detection
- inter domain
- consumer trust
- open systems
- security management
- identity management
- key management
- government services
- internet shopping
- service quality
- communication technologies
- web services
- automated trust negotiation
- service offerings
- ad hoc networks
- trust negotiation
- trust model
- video sharing
- business activities
- ip addresses
- security policies
- public key
- mobile services
- personal information
- computer networks
- business processes
- public key cryptography
- e government
- trusted computing
- wireless sensor networks