Analysis of Web Services Secure Conversation with Formal Methods.

Llanos Tobarra Diego Cazorla Fernando Cuartero Gregorio Díaz

Published in: ICIW (2007)

Keyphrases

formal methods
web services
formal analysis
software engineering
relational databases
databases
machine learning
natural language
expert systems
fine grained
model checking