External Links

    Journal: Formal Asp. Comput.

    Volume 17, Issue 3

    259 -- 259John Cooke. Editorial
    260 -- 276Sigrid Gürgens, Carsten Rudolph. Security analysis of efficient (Un-)fair non-repudiation protocols
    277 -- 318Andrew D. Gordon, Riccardo Pucella. Validating a web service security abstraction by typing
    319 -- 341Martin De Wulf, Laurent Doyen, Jean-François Raskin. Almost ASAP semantics: from timed models to timed implementations
    342 -- 388Bahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol. Verification of a sliding window protocol in µCRL and PVS
    runs on