An Adaptable Formal Model for Web Services Protocols.
Pemadeep RamsokulArcot SowmyaPublished in: ICIW (2007)
Keyphrases
- formal model
- web services
- security properties
- security flaws
- service oriented
- web service composition
- web applications
- service providers
- predicate calculus
- semantic web services
- service oriented architecture
- description language
- service composition
- quality of service
- data intensive
- loosely coupled
- service description
- formal models
- security patterns
- web services composition
- information systems
- knowledge representation
- security protocols
- business processes