Foundations and Practice of Security  4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /  [electronic resource] : 
edited by Joaquin Garcia-Alfaro, Pascal Lafourcade. 
 - 1st ed. 2012. 
 - XIII, 253 p.  online resource. 
 - Security and Cryptology,  6888  2946-1863 ; .
 - Security and Cryptology,  6888 .
<br/><br/> This book constitutes the carefully refereed and revised selected papers of the 4th Canada-France MITACS Workshop on Foundations and Practice of Security, FPS 2011, held in Paris, France, in May 2011. The book contains a revised version of 10 full papers, accompanied by 3 keynote addresses, 2 short papers, and 5 ongoing research reports. The papers were carefully reviewed and selected from 30 submissions. The topics covered are pervasive security and threshold cryptography; encryption, cryptanalysis and automatic verification; and formal methods in network security. 
<br/><br/><label>ISBN: </label>9783642279010 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-27901-0  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Cryptography.<br/>Data encryption (Computer science).<br/>Software engineering.<br/>Electronic data processing--Management.<br/>Computer networks .<br/>Algorithms.<br/>Computer science.<br/>Cryptology.<br/>Software Engineering.<br/>IT Operations.<br/>Computer Communication Networks.<br/>Algorithms.<br/>Computer Science Logic and Foundations of Programming.
<br/><br/><label>LC Class. No.: </label>QA268 
<br/><br/><label>Dewey Class. No.: </label>005.824