Security analysis of efficient (Un-) fair non-repudiation protocols S. GürgensC. Rudolph OriginalPaper 22 March 2005 Pages: 260 - 276
Validating a web service security abstraction by typing Andrew D. GordonRiccardo Pucella OriginalPaper 03 May 2005 Pages: 277 - 318
Almost ASAP semantics: from timed models to timed implementations Martin De WulfLaurent DoyenJean-François Raskin OriginalPaper 12 August 2005 Pages: 319 - 341
Verification of a sliding window protocol in μCRL and PVS Bahareh BadbanWan FokkinkJaco van de Pol OriginalPaper 22 September 2005 Pages: 342 - 388