Formal aspects in security and trust : 6th international workshop, FAST, Eindhoven, The Netherlands, Nov. 5-6, 2009 : revised selected papers (e-book)
Formal aspects in security and trust : 6th international workshop, FAST, Eindhoven, The Netherlands, Nov. 5-6, 2009 : revised selected papers (e-book)
- Berlin Springer 2010
- Lecture Notes in Computer Science (LNCS) v.5983 LNCS Sublibrary : SL 4 – Security and cryptology .
978-3-642-12459-4
Computer Science and Engineering
Computer security--Congresses
Formal methods (Computer science)--Congresses
Trust--Congresses
978-3-642-12459-4
Computer Science and Engineering
Computer security--Congresses
Formal methods (Computer science)--Congresses
Trust--Congresses