VOLUME 11 2006 NUMBER 1

Special Issue with Selected and Extended Papers of the International Workshop on Security Analysis of Systems: Formalisms and Tools (SASYFT 2004)

Siva Anantharaman, Paul Gastin, Gaétan Hains, John Mullins, Michael Rusinowitch:
Editorial5–6
Mathieu Baudet:
Random Polynomial-Time Attacks and Dolev-Yao Models7–21
Jing Chen:
Timed Extensions of π Calculus23–58
Hervé Grall:
A Confinement Criterion for Securely Executing Mobile Code59–106
Sébastien Limet, Gernot Salzer:
Basic Rewriting via Logic Programming, with an Application to the Reachability Problem107–142