Formal aspects of security and trust : 7th international workshop, FAST, Pisa, Italy, Sept. 16-17, 2010 (e-book)
Formal aspects of security and trust : 7th international workshop, FAST, Pisa, Italy, Sept. 16-17, 2010 (e-book)
- Berlin Springer 2011
- Lecture Notes in Computer Science (LNCS) v.6561 LNCS Sublibrary : SL 4 – Security and cryptology .
978-3-642-19751-2
Computer Science and Engineering
Computer security--Congresses
Formal methods (Computer science)--Congresses
Data encryption (Computer science)--Congresses
978-3-642-19751-2
Computer Science and Engineering
Computer security--Congresses
Formal methods (Computer science)--Congresses
Data encryption (Computer science)--Congresses