Formal aspects in security and trust  5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers /  [electronic resource] : 
 FAST 2008 
edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2009. 
 - x, 330 p. :  ill., digital ;  24 cm. 
 - Lecture notes in computer science,  5491  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783642014659 (electronic bk.) 9783642014642 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer security--congresses.<br/>Formal methods (Computer science)--Congresses.<br/>Computer Communication Networks.<br/>Data Encryption.<br/>Management of Computing and Information Systems.<br/>Computers and Society.<br/>Computer Science.<br/>Information Storage and Retrieval.<br/>Systems and Data Security.
<br/><br/><label>LC Class. No.: </label>QA76.9.A25  / F36 2008 
<br/><br/><label>Dewey Class. No.: </label>005.8