Foundations And Practice Of Security: 4th Canada-france Mitacs Workshop, Fps 2011, Paris, France, May 12-13, 2011, Revised Selected Papers (lecture Notes In Computer Science, Vol. 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. Front Matter....Pages - Preserving Privacy in Online Social Networks....Pages 1-13 TTP SmartCard-Based ElGamal Cryptosystem Using Threshold Scheme for Electronic Elections....Pages 14-22 Automated Verification of Block Cipher Modes of Operation, an Improved Method....Pages 23-31 SC 2 : Secure Communication over Smart Cards....Pages 32-48 Private Identification of RFID Tags....Pages 49-61 Threshold Encryption into Multiple Ciphertexts....Pages 62-72 A Novel Commutative Blinding Identity Based Encryption Scheme....Pages 73-89 A Related-Key Attack on Block Ciphers with Weak Recurrent Key Schedules....Pages 90-101 A Computational Indistinguishability Logic for the Bounded Storage Model....Pages 102-117 Preventing the Cluster Formation Attack against the Hierarchical OLSR Protocol....Pages 118-131 Secret Key Establishment over Noisy Channels....Pages 132-147 Formal Specification and Validation of Security Policies....Pages 148-163 Vote-Independence: A Powerful Privacy Notion for Voting Protocols....Pages 164-180 Black-Box Property of Cryptographic Hash Functions....Pages 181-193 Phishing Detection with Popular Search Engines: Simple and Effective....Pages 194-207 A Contextual Privacy-Aware Access Control Model for Network Monitoring Workflows: Work in Progress....Pages 208-217 A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress....Pages 218-226 Specification and Verification of Access Control Policies in EB 3 SEC: Work in Progress....Pages 227-233 A Metamodel of the B Modeling of Access-Control Policies: Work in Progress....Pages 234-241 Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress....Pages 242-251 Back Matter....Pages - Annotation 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 methodsin network security This book constitutes the carefully refereed post-proceedings of the 6th Symposium on Foundations and Practice of Security, FPS 2013, held in La Rochelle, France, in October 2013.