Formal aspects in security and trust
: fourth international workshop ; revised selected papers / FAST 2006, Hamilton, Ontario, Canada, August 26 - 27, 2006. Theo Dimitrakos ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4691)
ISBN 978-3-540-75227-1
Lizenzpflichtig
Quelle: DNB
Formal aspects in security and trust
: third international workshop ; revised selected papers / FAST 2005, Newcastle upon Tyne, UK, July 18 - 19, 2005. Theo Dimitrakos ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3866)
ISBN 978-3-540-32629-8
Lizenzpflichtig
Quelle: DNB