Application of formal methods to the analysis of Web Services Security
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
- Díaz, G.
ISSN: 0302-9743, 1611-3349
ISBN: 9783540287018
Año de publicación: 2005
Volumen: 3670 LNCS
Páginas: 215-229
Tipo: Aportación congreso