Ausgabe 2-3/2007
Inhalt (7 Artikel)
Editorial
Guest Editors’ Preface
Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider
Special Issue Paper
Dynamic security labels and static information flow control
Lantian Zheng, Andrew C. Myers
Special Issue Paper
Instruction-level security typing by abstract interpretation
Nicoletta De Francesco, Luca Martini
Special Issue Paper
Transformational typing and unification for automatically correcting insecure programs
Boris Köpf, Heiko Mantel
Special Issue Paper
Audit-based compliance control
J. G. Cederquist, R. Corin, M. A. C. Dekker, S. Etalle, J. I. den Hartog, G. Lenzini
Special Issue Paper
An algebraic approach to the verification of a class of Diffie-Hellman protocols
Rob Delicata, Steve Schneider