Volume 4, Issue 1-2

February 2005

Special issue on FCS/Verify 2002

Issue Editors:

9 articles in this issue

Preface to the special issue of selected papers from FCS/VERIFY 2002
Serge Autexier
Iliano Cervesato
Heiko Mantel
Preface 01 February 2005 Pages: 1 - 1
Edit automata: enforcement mechanisms for run-time security policies
Jay Ligatti
Lujo Bauer
David Walker
Regular contribution 01 February 2005 Pages: 2 - 16
An overview of the verification of SET
Giampaolo Bella
Fabio Massacci
Lawrence C. Paulson
Special issue paper 01 February 2005 Pages: 17 - 28
Rigorous automated network security management
Joshua D. Guttman
Amy L. Herzog
Regular contribution 01 February 2005 Pages: 29 - 48
On the decidability of cryptographic protocols with open-ended data structures
Ralf Küsters
Regular contribution 01 February 2005 Pages: 49 - 70
Game strategies in network security
Kong-wei Lye
Jeannette M. Wing
Regular contribution 01 February 2005 Pages: 71 - 86
Static use-based object confinement
Christian Skalka
Scott Smith
Regular contribution 01 February 2005 Pages: 87 - 104
Detection of file-based race conditions
Kyung-suk Lhee
Steve J. Chapin
Regular contribution 01 February 2005 Pages: 105 - 119
On the sequence of authorization policy transformations
Yun Bai
Yan Zhang
Vijay Varadharajan
Regular contribution 01 February 2005 Pages: 120 - 131

Search