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

Powered by Koha