Formal Analysis of Trust and Reputation for Service Composition in IoT.
Abdelmuttlib Ibrahim AbdallaahmedSiti Hafizah Ab HamidAbdullah GaniAhmed AbdelazizMohammed AbakerPublished in: Sensors (2023)
Keyphrases
- formal analysis
- service composition
- trust evaluation
- trust model
- reputation models
- trust management
- trust and reputation models
- management system
- reputation systems
- web service composition
- trust relationships
- reputation management
- service oriented
- web services
- qos aware
- reputation information
- service selection
- petri net
- reputation mechanisms
- usage control
- formal methods
- service integration
- web services composition
- composition of web services
- goal driven
- ban logic
- ws bpel
- service discovery
- cloud computing
- semantic web service composition
- electronic marketplaces
- agent model
- virtual communities
- service oriented architecture