Analysis of Web services secure conversation with formal methods
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
- Díaz, G.
Actas:
Second International Conference on Internet and Web Applications and Services, ICIW'07
ISBN: 9780769528441
Ano de publicación: 2007
Tipo: Achega congreso