Foundations and Practice of Security 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers /

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. The 25 revised full papers presented together with a keynote address were carefully reviewed and selected from 65 submis...

Full description

Bibliographic Details
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: Danger, Jean Luc (Editor), Debbabi, Mourad (Editor), Marion, Jean-Yves (Editor), Garcia-Alfaro, Joaquin (Editor), Zincir Heywood, Nur (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
Series:Lecture Notes in Computer Science,
Subjects:
Online Access:http://dx.doi.org/10.1007/978-3-319-05302-8
Перейти в каталог НБ ТГУ
Table of Contents:
  • On the Efficiency of Mathematics in Intrusion Detection: The NetEntropy Case
  • On the Feasibility of a Censorship Resistant Decentralized Naming System
  • A General Framework for Group Authentication and Key Exchange Protocols
  • Modelling Simultaneous Mutual Authentication for Authenticated Key Exchange
  • Model-Based Specification and Validation of Security and Dependability Patterns
  • Enforcing Information Flow by Combining Static and Dynamic Analysis
  • Fault Injection to Reverse Engineer DES-like Cryptosystems
  • Software Camouflage
  • Investigation of Parameters Influencing the Success of Optical Fault Attacks
  • ONTIDS: A Highly Flexible Context-Aware and Ontology-Based Alert Correlation Framework
  • Quantitative Evaluation of Enforcement Strategies
  • Collusion Resistant Inference Control for Cadastral Databases
  • Leveraging Ontologies upon a Holistic Privacy-Aware Access Control Model
  • Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations
  • Computational Soundness of Symbolic Blind Signatures under Active Attacker
  • Improved Davies-Murphys Attack on DES Revisited
  • Yet Another Fault-Based Leakage in Non-Uniform Faulty Ciphertexts
  • A Hierarchal Anti-Counterfeit Mechanism: Securing the Supply Chain using RFIDs
  • A More Realistic Model For Verifying Route Validity in Ad-Hoc Networks
  • On the Security of a Privacy-Preserving Key Management Scheme for Location Based Services in VANETs
  • CheR: Cheating Resilience in the Cloud via Smart Resource Allocation
  • Evaluation of Software-Oriented Block Ciphers on Smartphones
  • Don't Push it: Breaking iButton Security
  • Discovering Flaws in IDS through Analysis of their Inputs
  • On the Reverse Engineering of the Citadel Botnet
  • The Carna Botnet Through the Lens of a Network Telescope.