Analysis of Web services secure conversation with formal methods

  1. Tobarra, L.
  2. Cazorla, D.
  3. Cuartero, F.
  4. 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

DOI: 10.1109/ICIW.2007.17 GOOGLE SCHOLAR

Objectifs de Développement Durable