000 04557nam a22005535i 4500
001 vtls000542958
003 RU-ToGU
005 20210922082436.0
007 cr nn 008mamaa
008 160915s2014 gw | s |||| 0|eng d
020 _a9783319053028
_9978-3-319-05302-8
024 7 _a10.1007/978-3-319-05302-8
_2doi
035 _ato000542958
040 _aSpringer
_cSpringer
_dRU-ToGU
050 4 _aQA76.9.A25
072 7 _aURY
_2bicssc
072 7 _aCOM053000
_2bisacsh
082 0 4 _a005.82
_223
245 1 0 _aFoundations and Practice of Security
_helectronic resource
_b6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers /
_cedited by Jean Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, Nur Zincir Heywood.
260 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2014.
300 _aXIII, 444 p. 134 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8352
505 0 _aOn 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.
520 _aThis 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 submissions. The papers are organized in topical sections on security protocols, formal methods, physical security, attack classification and assessment, access control, cipher attacks, ad-hoc and sensor networks, resilience and intrusion detection.
650 0 _aComputer Science.
_9155490
650 0 _aData protection.
_9303937
650 0 _aData encryption (Computer science).
_9566260
650 0 _aCoding theory.
_9303096
650 1 4 _aComputer Science.
_9155490
650 2 4 _aData Encryption.
_9566261
650 2 4 _aSystems and Data Security.
_9303939
650 2 4 _aCoding and Information Theory.
_9303101
700 1 _aDanger, Jean Luc.
_eeditor.
_9448843
700 1 _aDebbabi, Mourad.
_eeditor.
_9317813
700 1 _aMarion, Jean-Yves.
_eeditor.
_9448844
700 1 _aGarcia-Alfaro, Joaquin.
_eeditor.
_9417149
700 1 _aZincir Heywood, Nur.
_eeditor.
_9448845
710 2 _aSpringerLink (Online service)
_9143950
773 0 _tSpringer eBooks
830 0 _aLecture Notes in Computer Science,
_9279505
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-05302-8
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c400376