Formal Aspects of Security and Trust [E-Book]: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers / edited by Gilles Barthe, Anupam Datta, Sandro Etalle.
Barthe, Gilles.
Datta, Anupam. / Etalle, Sandro.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
digital.
englisch
9783642294204
10.1007/978-3-642-29420-4
Lecture notes in computer science ; 7140
Full Text
Description not available.