01302nam 2200349 450 991070472480332120130815112123.0(CKB)5470000002444480(OCoLC)855857046(EXLCZ)99547000000244448020130815d2013 ua 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierDefense agreement between the United States of America and the North Atlantic Treaty Organization, signed at Baghdad and Brussels, June 7 and July 16, 2012 and agreement extending the agreement, signed at Brussels, November 15, 2012[Washington, D.C.] :United States Department of State,[2013?]1 online resource (12 unnumbered pages)Treaties and other international acts series ;12-716Title from title screen (viewed on August 15, 2013).Defense LogisticsFinanceInternational cooperationLogisticsFinanceInternational cooperation.United States,United States.Department of State,GPOGPOBOOK9910704724803321Defense2306666UNINA05033nam 22007335 450 991048458020332120251113182332.03-319-05302-710.1007/978-3-319-05302-8(CKB)3710000000095012(DE-He213)978-3-319-05302-8(SSID)ssj0001187184(PQKBManifestationID)11795387(PQKBTitleCode)TC0001187184(PQKBWorkID)11263292(PQKB)10264466(MiAaPQ)EBC3101173(PPN)177824484(EXLCZ)99371000000009501220140320d2014 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFoundations and Practice of Security 6th International Symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, Revised Selected Papers /edited by Jean Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, Nur Zincir Heywood1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (XIII, 444 p. 134 illus.) Security and Cryptology,2946-1863 ;8352Bibliographic Level Mode of Issuance: Monograph3-319-05301-9 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.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 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.Security and Cryptology,2946-1863 ;8352CryptographyData encryption (Computer science)Data protectionCoding theoryInformation theoryCryptologyData and Information SecurityCoding and Information TheoryCryptography.Data encryption (Computer science).Data protection.Coding theory.Information theory.Cryptology.Data and Information Security.Coding and Information Theory.005.8Danger Jean Lucedthttp://id.loc.gov/vocabulary/relators/edtDebbabi Mouradedthttp://id.loc.gov/vocabulary/relators/edtMarion Jean-Yvesedthttp://id.loc.gov/vocabulary/relators/edtGarcia-Alfaro Joaquinedthttp://id.loc.gov/vocabulary/relators/edtZincir Heywood Nuredthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484580203321Foundations and Practice of Security4159644UNINA