Foundations and Practice of Security : 5th International Symposium on Foundations and Practice of Security, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers

This book constitutes the carefully refereed and revised selected papers of the 5th Canada-France ETS Symposium on Foundations and Practice of Security, FPS 2012, held in Montreal, QC, Canada, in October 2012. The book contains a revised version of 21 full papers, accompanied by 3 short papers. The papers were carefully reviewed and selected from 62 submissions. The papers are organized in topical section on cryptography and information theory, key management and cryptographic protocols, privacy and trust, policies and applications security, and network and adaptive security. Cryptography and Information Theory MaD2: An Ultra-Performance Stream Cipher for Pervasive Data Encryption Proofs of Retrievability via Fountain Code MARC: Modified ARC4 Detection of HTTP-GET Attack with Clustering and Information Theoretic Measurements Key Management and Cryptographic Protocols A Generic Algebraic Model for the Analysis of Cryptographic-Key Assignment Schemes Message Transmission and Key Establishment: Conditions for Equality of Weak and Strong Capacities COMPASS: Authenticated Group Key Agreement from Signcryption Privacy and Trust Classifying Online Social Network Users through the Social Graph A Formal Derivation of Composite Trust Policies and Applications Security Policy Administration in Tag-Based Authorization Enabling Dynamic Security Policy in the Java Security Manager A Novel Obfuscation: Class Hierarchy Flattening RESource: A Framework for Online Matching of Assembly with Open Source Code Touchjacking Attacks on Web in Android, iOS, and Windows Phone Network and Adaptive Security Short-Term Linkable Group Signatures with Categorized Batch Verification GHUMVEE: Efficient, Effective, and Flexible Replication Extracting Attack Scenarios Using Intrusion Semantics On Securely Manipulating XML Data Mitigating Collaborative Blackhole Attacks on DSR-Based Mobile Ad Hoc Networks QoS Aware Adaptive Security Scheme for Video Streaming in MANETs A Case Study of Side-Channel Analysis Using Decoupling Capacitor Power Measurement with the OpenADC Short Papers Towards Modelling Adaptive Attacker’s Behaviour Scalable Deniable Group Key Establishment Information-Theoretic Foundations of Differential Privacy. Introduction Background Timing of Research Contents of Darknet Related Work Historical Data Previous Arrests and Campaigns Typosquatting Onion Domains Ethics Methods Onion Service Spider Seed Data Site Comparison HTTP Headers HTML Comparison Results Scale of Imitation Taxonomy of Imitation Types Profitability Sophistication of Imitation Official Mirrors Unsophisticated Sophisticated Clones By Site Clustering of Clones Reuse of Phishing Domains Comparison of HTML Manual Analysis of Domain Imitation Classification of Site Types Child Abuse Imagery Weaponry Sites Drug Markets Hacking and Fraud Sites Murder Sites Journalists, Law Enforcement and Freedom of Speech Countermeasures Site Verification via PGP Keys Site Verification via Central Listings Limitations and Future Work Conclusions References This book constitutes the carefully refereed and revised selected papers of the 5th International Symposium on Foundations and Practice of Security, FPS 2012, held in Montreal, QC, Canada, in October 2012.The book contains a revised version of 22 full papers, accompanied by 3 short papers. The papers were carefully reviewed and selected from 62 submissions. The papers are organized in topical section on cryptography and information theory, key management and cryptographic protocols, privacy and trust, policies and applications security, and network and adaptive security. This book constitutes the carefully refereed and revised selected papers of the 5th International Symposium on Foundations and Practice of Security, FPS 2012, held in Montreal, QC, Canada, in October 2012. The book contains a revised version of 22 full papers, accompanied by 3 short papers. The papers were carefully reviewed and selected from 62 submissions. The papers are organized in topical section on cryptography and information theory, key management and cryptographic protocols, privacy and trust, policies and applications security, and network and adaptive security