Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri, editors, Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Volume 5705 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Conference: fosad2009

Abstract

Abstract is missing.

Table of Contents