Analysis of Web services secure conversation with formal methods
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
- Díaz, G.
Actes de conférence:
Second International Conference on Internet and Web Applications and Services, ICIW'07
ISBN: 9780769528441
Année de publication: 2007
Type: Communication dans un congrès