Foundations and Practice of Security [electronic resource] : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /
FPS 2011Corporate Author
FPS 2011(2011 :Paris, France)
FPS 2011
Garcia-Alfaro, Joaquin.editor.
Lafourcade, Pascal.editor.
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.
Bibliographic Level Mode of Issuance: Monograph
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.
Data encryption (Computer science).
Software engineering.
Management information systems.
Computer science.
Computer communication systems.
Algorithms.
Computer logic.
Cryptology.
Software Engineering.
Management of Computing and Information Systems.
Computer Communication Networks.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Lecture notes in computer science