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: | |
Editorial | 5–6 |
Mathieu Baudet: | |
Random Polynomial-Time Attacks and Dolev-Yao Models | 7–21 |
Jing Chen: | |
Timed Extensions of π Calculus | 23–58 |
Hervé Grall: | |
A Confinement Criterion for Securely Executing Mobile Code | 59–106 |
Sébastien Limet, Gernot Salzer: | |
Basic Rewriting via Logic Programming, with an Application to the Reachability Problem | 107–142 |