Advances in Computer Science, Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings Datta Anupam Heftet / 2009 / Engelsk
Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers Barthe Gilles Heftet / 2012 / Engelsk