Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /

Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /

57

Bibliographic Details
Main Authors: FAST 2006 (2006 : Hamilton, Ont.), Dimitrakos, Theo
Format:
Language:eng
Published: Berlin : Springer-Verlag, 2007
Subjects:
Computer security
Formal methods (Computer science)
Trust
Online Access:http://dx.doi.org/10.1007/978-3-540-75227-1

Internet

http://dx.doi.org/10.1007/978-3-540-75227-1

Similar Items