Skip to main content
SpringerLink
Log in

Foundations and Practice of Security

7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected Papers

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Frédéric Cuppens

    1. TELECOM Bretagne, Cesson Sévigné, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Joaquin Garcia-Alfaro

    1. TELECOM SudParis, Evry, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Nur Zincir Heywood

    1. Dalhousie University, Halifax, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Philip W. L. Fong

    1. University of Calgary, Calgary, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8930)

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: FPS 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Attacks and Vulnerabilities

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
Back to top

Other volumes

  1. Foundations and Practice of Security

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

  • Book Title: Foundations and Practice of Security

  • Book Subtitle: 7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected Papers

  • Editors: Frédéric Cuppens, Joaquin Garcia-Alfaro, Nur Zincir Heywood, Philip W. L. Fong

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-319-17040-4

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer International Publishing Switzerland 2015

  • Softcover ISBN: 978-3-319-17039-8Published: 16 April 2015

  • eBook ISBN: 978-3-319-17040-4Published: 04 April 2015

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 375

  • Number of Illustrations: 98 b/w illustrations

  • Topics: Cryptology, Systems and Data Security, Coding and Information Theory

Publish with us

Policies and ethics

Back to top

Search

Navigation