LEADER 05154nam 22007935 450 001 9910349459803321 005 20251225200627.0 010 $a9783319756509 010 $a3319756508 024 7 $a10.1007/978-3-319-75650-9 035 $a(CKB)4100000002485494 035 $a(DE-He213)978-3-319-75650-9 035 $a(MiAaPQ)EBC6307091 035 $a(MiAaPQ)EBC5590632 035 $a(Au-PeEL)EBL5590632 035 $a(OCoLC)1023590275 035 $a(PPN)224637819 035 $a(EXLCZ)994100000002485494 100 $a20180216d2018 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFoundations and Practice of Security $e10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers /$fedited by Abdessamad Imine, José M. Fernandez, Jean-Yves Marion, Luigi Logrippo, Joaquin Garcia-Alfaro 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XIII, 319 p. 82 illus.) 225 1 $aSecurity and Cryptology,$x2946-1863 ;$v10723 311 08$a9783319756493 311 08$a3319756494 327 $aAccess Control -- Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations -- Relationship-Based Access Control for Resharing in Decentralized Online Social Networks -- Secure Protocol of ABAC Certificates Revocation and Delegation -- Formal Verification -- Formal Analysis of Combinations of Secure Protocols -- Formal Analysis of the Fido 1.x Protocol -- Position Paper: A Roadmap for High Assurance Cryptography -- Privacy -- Privacy-preserving Equality Test towards Big Data -- Multi-level access control, partial orders and directed graphs in access control for secrecy and privacy -- Physical Security -- Generation of Applicative Attacks Scenarios Against Industrial Systems -- HuMa: A multi-layer framework for threat analysis in a heterogeneous log environment -- Monitoring of Security Properties Using BeepBeep -- Network Security, Encrypted DBs and Blockchain -- More Lightweight, yet Stronger 802.15.4 Security through an Intra-Layer Optimization -- ObliviousDB: Practicaland Efficient Searchable Encryption with Controllable Leakage -- Ethereum: state of knowledge and research perspectives -- Vulnerability Analysis and Deception Systems -- Bounding the cache-side-channel leakage of lattice-based signature schemes using program semantics -- Extinguishing Ransomware - a Hybrid Approach to Android Ransomware Detection -- Deception in Information Security: Legal Considerations in the Context of German and European Law -- Defence Against Attacks and Anonymity -- SATYA: Defending against Adversarial Attacks using Statistical Hypothesis Testing -- Attack Graph-based Countermeasure Selection using a Stateful Return on Investment Metric -- Weighted Factors for Evaluating Anonymity. 330 $aThis book constitutes revised selected papers from the 10th International Symposium on Foundations and Practice of Security, FPS 2017, held in Nancy, France in October 2017. The 20 papers presented in this volume were carefully reviewed and selected from 53 submissions. The papers were organized in topical sections named: access control; formal verification; privacy; physical security; network security, encrypted DBs and blockchain; vulnerability analysis and deception systems; and defence against attacks and anonymity. . 410 0$aSecurity and Cryptology,$x2946-1863 ;$v10723 606 $aData protection 606 $aComputers 606 $aData structures (Computer science) 606 $aInformation theory 606 $aArtificial intelligence 606 $aApplication software 606 $aData and Information Security 606 $aComputing Milieux 606 $aData Structures and Information Theory 606 $aArtificial Intelligence 606 $aComputer and Information Systems Applications 615 0$aData protection. 615 0$aComputers. 615 0$aData structures (Computer science). 615 0$aInformation theory. 615 0$aArtificial intelligence. 615 0$aApplication software. 615 14$aData and Information Security. 615 24$aComputing Milieux. 615 24$aData Structures and Information Theory. 615 24$aArtificial Intelligence. 615 24$aComputer and Information Systems Applications. 676 $a005.8 702 $aImine$b Abdessamad$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFernandez$b José M$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMarion$b Jean-Yves$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLogrippo$b Luigi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGarcia-Alfaro$b Joaquin$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349459803321 996 $aFoundations and Practice of Security$94159644 997 $aUNINA