Foundations and Practice of Security

1. Front Matter

   Pages I-XIII

   PDF

2. Attacks and Vulnerabilities

   1. Front Matter

      Pages 1-1

      PDF

   2. On Acoustic Covert Channels Between Air-Gapped Systems

      • Brent Carrara, Carlisle Adams

      Pages 3-16

   3. Location-Dependent EM Leakage of the ATxmega Microcontroller

      • Thomas Korak

      Pages 17-32

3. Privacy

   1. Front Matter

      Pages 33-33

      PDF

   2. Privacy-Preserving Public Auditing in Cloud Computing with Data Deduplication

      • Naelah Alkhojandi, Ali Miri

      Pages 35-48

   3. A Maximum Variance Approach for Graph Anonymization

      • Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch

      Pages 49-64

   4. Privacy by Design: On the Conformance Between Protocols and Architectures

      • Vinh-Thong Ta, Thibaud Antignac

      Pages 65-81

4. Software Security and Malware Analysis

   1. Front Matter

      Pages 83-83

      PDF

   2. Moving Target Defense Against Cross-Site Scripting Attacks (Position Paper)

      • Joe Portner, Joel Kerr, Bill Chu

      Pages 85-91

   3. Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection Attacks

      • Lionel Rivière, Marie-Laure Potet, Thanh-Ha Le, Julien Bringer, Hervé Chabanne, Maxime Puys

      Pages 92-111

   4. Malware Message Classification by Dynamic Analysis

      • Guillaume Bonfante, Jean-Yves Marion, Thanh Dinh Ta

      Pages 112-128

5. Network Security and Protocols

   1. Front Matter

      Pages 129-129

      PDF

   2. A Game Approach for an Efficient Intrusion Detection System in Mobile Ad Hoc Networks

      • Myria Bouhaddi, Mohammed Saïd Radjef, Kamel Adi

      Pages 131-146

   3. Optimizing TLS for Low Bandwidth Environments

      • Diego A. Ortiz-Yepes

      Pages 147-167

   4. Automating MAC Spoofer Evidence Gathering and Encoding for Investigations

      • Serguei A. Mokhov, Michael J. Assels, Joey Paquet, Mourad Debbabi

      Pages 168-183

6. Access Control Models and Policy Analysis

   1. Front Matter

      Pages 185-185

      PDF

   2. HGABAC: Towards a Formal Model of Hierarchical Attribute-Based Access Control

      • Daniel Servos, Sylvia L. Osborn

      Pages 187-204

   3. Logical Method for Reasoning About Access Control and Data Flow Control Models

      • Luigi Logrippo

      Pages 205-220

   4. A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies

      • Ahmed Khoumsi, Wadie Krombi, Mohammed Erradi

      Pages 221-236

This book constitutes the thoroughly refereed post-proceedings of the 7th Symposium on Foundations and Practice of Security, FPS 2014, held in Montreal, QC, Canada, in November 2014. The 18 revised full papers presented together with 5 short papers and 2 position papers were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on privacy; software security and malware analysis; network security and protocols; access control models and policy analysis; protocol verification; and cryptographic technologies.

• Access control
• Attacks
• Computer security
• Cryptography
• Encryption
• Formal verification
• Malware
• Network security
• Privacy management
• Secret sharing
• Security and privacy
• Security protocols
• Security services
• Software security
• intrusion detection

• TELECOM Bretagne, Cesson Sévigné, France

  Frédéric Cuppens

• TELECOM SudParis, Evry, France

  Joaquin Garcia-Alfaro

• Dalhousie University, Halifax, Canada

  Nur Zincir Heywood

• University of Calgary, Calgary, Canada

  Philip W. L. Fong

Policies and ethics