Formal Aspects in Security and Trust [E-Book] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Joshua D. Guttman.
Degano, Pierpaolo
Guttman, Joshua D.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
online resource
Lecture notes in computer science ; 5983
Full Text
Description not available.