Web Services Security: a preliminary study using Casper and FDR

Bibliographische Detailangaben
Hauptverfasser: Roscoe, A, Kleiner, E
Format: Conference item
Veröffentlicht: 2004