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
Datum der Publikation: 2005
Ausgabe: 3670 LNCS
Seiten: 215-229
Art: Konferenz-Beitrag