Sign in

Analysis of Web Services Secure Conversation with Formal Methods.

Llanos TobarraDiego CazorlaFernando CuarteroGregorio 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