1. Guest Editors’ Preface

   • Theo Dimitrakos
   • Fabio Martinelli
   • Steve Schneider

   Editorial 11 February 2007 Pages: 65 - 66

2. Dynamic security labels and static information flow control

   • Lantian Zheng
   • Andrew C. Myers

   Special Issue Paper 13 March 2007 Pages: 67 - 84

3. Instruction-level security typing by abstract interpretation

   • Nicoletta De Francesco
   • Luca Martini

   Special Issue Paper 13 February 2007 Pages: 85 - 106

4. Transformational typing and unification for automatically correcting insecure programs

   • Boris Köpf
   • Heiko Mantel

   Special Issue Paper 02 March 2007 Pages: 107 - 131

5. Audit-based compliance control

   • J. G. Cederquist
   • R. Corin
   • G. Lenzini

   Special Issue Paper 16 February 2007 Pages: 133 - 151

6. Trust structures

   • Karl Krukow
   • Mogens Nielsen

   Special Issue Paper 21 February 2007 Pages: 153 - 181

7. An algebraic approach to the verification of a class of Diffie-Hellman protocols

   • Rob Delicata
   • Steve Schneider

   Special Issue Paper 08 February 2007 Pages: 183 - 196