CW 423

Bart De Win, Bart Jacobs, Wouter Joosen, Gregory Neven, Frank Piessens, Tine Verhanneman
Formal technologies for information and software security: An annotated bibliography


This report is the result of an extensive literature survey performed by its authors. Our goal is to provide an overview of existing formal approaches to information and software security. A rough classification of the topics covered in the research literature and brief descriptions of these topics should help the reader find his or her way in the substantial body of research.

report.pdf (200K) / mailto: F. Piessens