Analysis of Web services secure conversation with formal methods

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

DOI: 10.1109/ICIW.2007.17 GOOGLE SCHOLAR

Obxectivos de Desenvolvemento Sustentable