Guest Editors’ Preface Theo DimitrakosFabio MartinelliSteve Schneider Editorial 11 February 2007 Pages: 65 - 66
Dynamic security labels and static information flow control Lantian ZhengAndrew C. Myers Special Issue Paper 13 March 2007 Pages: 67 - 84
Instruction-level security typing by abstract interpretation Nicoletta De FrancescoLuca Martini Special Issue Paper 13 February 2007 Pages: 85 - 106
Transformational typing and unification for automatically correcting insecure programs Boris KöpfHeiko Mantel Special Issue Paper 02 March 2007 Pages: 107 - 131
Audit-based compliance control J. G. CederquistR. CorinG. Lenzini Special Issue Paper 16 February 2007 Pages: 133 - 151
An algebraic approach to the verification of a class of Diffie-Hellman protocols Rob DelicataSteve Schneider Special Issue Paper 08 February 2007 Pages: 183 - 196