Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /
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 .
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.
9783642279010
10.1007/978-3-642-27901-0 doi
Cryptography.
Data encryption (Computer science).
Software engineering.
Electronic data processing--Management.
Computer networks .
Algorithms.
Computer science.
Cryptology.
Software Engineering.
IT Operations.
Computer Communication Networks.
Algorithms.
Computer Science Logic and Foundations of Programming.
QA268
005.824
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.
9783642279010
10.1007/978-3-642-27901-0 doi
Cryptography.
Data encryption (Computer science).
Software engineering.
Electronic data processing--Management.
Computer networks .
Algorithms.
Computer science.
Cryptology.
Software Engineering.
IT Operations.
Computer Communication Networks.
Algorithms.
Computer Science Logic and Foundations of Programming.
QA268
005.824