A Formal Model for Service Discovery Protocol (SDP) using SDL.
Anandi GiridharanPublished in: ICMLC (2017)
Keyphrases
- formal model
- service discovery
- security properties
- web services
- pervasive computing
- web service discovery
- computing environments
- semantic web services
- pervasive computing environments
- semidefinite programming
- web services discovery
- resource discovery
- lightweight
- service oriented architecture
- formal models
- security protocols
- semi definite programming
- service oriented computing
- service composition
- negotiation protocol
- predicate calculus
- pervasive environments
- case study