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

Llanos Tobarra Diego Cazorla Fernando Cuartero Gregorio Díaz

Published in: EPEW/WS-FM (2005)

Keyphrases

formal methods
web services
formal analysis
security properties
access control
web applications
protocol specification