Andrei Sabelfeld Preface. 495 2008 16 Journal of Computer Security 5 http://dx.doi.org/10.3233/JCS-2008-0331 db/journals/jcs/jcs16.html#Sabelfeld08