Web Services Security: a preliminary study using Casper and FDR

Detalhes bibliográficos
Principais autores: Roscoe, A, Kleiner, E
Formato: Conference item
Publicado em: 2004