Secure service discovery protocol for intelligent transport systems: proof of correctness.
Kaouther AbrouguiAzzedine BoukerchePublished in: DIVANet@MSWiM (2011)
Keyphrases
- service discovery
- intelligent transport systems
- cryptographic protocols
- covert channel
- traffic flow
- authentication protocol
- web services
- road safety
- security protocols
- lightweight
- semantic web services
- pervasive computing
- web service discovery
- service composition
- service oriented architecture
- computing environments
- web services discovery
- multi party
- road traffic
- service description
- pervasive computing environments
- artificial intelligence