Sign in

Application of Formal Methods to the Analysis of Web Services Security.

Llanos TobarraDiego CazorlaFernando CuarteroGregorio Díaz
Published in: EPEW/WS-FM (2005)
Keyphrases
  • formal methods
  • web services
  • formal analysis
  • security properties
  • access control
  • web applications
  • protocol specification