1
Formal Aspects of Security and Trust [E-Book]: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /
2
Advances in Computer Science - ASIAN 2009. Information Security and Privacy [E-Book] : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings /