Ausgabe 1-2/2005
Special issue on FCS/Verify 2002
Inhalt (9 Artikel)
Preface
Preface to the special issue of selected papers from FCS/VERIFY 2002
Serge Autexier, Iliano Cervesato, Heiko Mantel
Regular contribution
Edit automata: enforcement mechanisms for run-time security policies
Jay Ligatti, Lujo Bauer, David Walker
Special issue paper
An overview of the verification of SET
Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson
Regular contribution
Rigorous automated network security management
Joshua D. Guttman, Amy L. Herzog
Regular contribution
On the decidability of cryptographic protocols with open-ended data structures
Ralf Küsters
Regular contribution
On the sequence of authorization policy transformations
Yun Bai, Yan Zhang, Vijay Varadharajan