Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers
edited by Gilles Barthe, Anupam Datta, Sandro Etalle
Springer-Verlag, 2012
eBooks
Data privacy management and autonomous spontaneus security : 6th international workshop, DPM 2011, and 4th international workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011 : revised selected papers
edited by Joaquin Garcia-Alfaro
Springer-Verlag , 2012
eBooks
Graph structures for knowledge representation and reasoning : second international workshop, GKR 2011, Barcelona, Spain, July 16, 2011 : revised selected papers
edited by Madalina Croitoru
Springer-Verlag, 2012
eBooks
Theory and applications of formal argumentation : first international workshop, TAFA 2011, Barcelona, Spain, July 16-17, 2011 : revised selected papers
edited by Sanjay Modgil, Nir Oren, Francesca Toni
Springer-Verlag, 2012
eBooks
Public key infrastructures, services, and applications : 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011 : revised selected papers
edited by Svetla Petkova-Nikova, Andreas Pashalidis, Gunther Pernul
Springer-Verlag, 2012
eBooks