000826367 000__ 04648cam\a2200577Ii\4500 000826367 001__ 826367 000826367 005__ 20230306144357.0 000826367 006__ m\\\\\o\\d\\\\\\\\ 000826367 007__ cr\cn\nnnunnun 000826367 008__ 180219s2018\\\\sz\a\\\\o\\\\\101\0\eng\d 000826367 019__ $$a1029077618$$a1030290363 000826367 020__ $$a9783319756509$$q(electronic book) 000826367 020__ $$a3319756508$$q(electronic book) 000826367 020__ $$z9783319756493 000826367 0247_ $$a10.1007/978-3-319-75650-9$$2doi 000826367 035__ $$aSP(OCoLC)on1023590275 000826367 035__ $$aSP(OCoLC)1023590275$$z(OCoLC)1029077618$$z(OCoLC)1030290363 000826367 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCF$$dAZU$$dUAB$$dUPM$$dOCLCO$$dMERER$$dOCLCQ$$dOCLCA 000826367 049__ $$aISEA 000826367 050_4 $$aQA76.9.A25 000826367 08204 $$a005.8$$223 000826367 1112_ $$aFPS (Symposium)$$n(10th :$$d2017 :$$cNancy, France) 000826367 24510 $$aFoundations and practice of security :$$b10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised selected papers /$$cAbdessamad Imine, José M. Fernandez, Jean-Yves Marion, Luigi Logrippo, Joaquin Garcia-Alfaro (eds.). 000826367 2463_ $$aFPS 2017 000826367 264_1 $$aCham, Switzerland :$$bSpringer,$$c2018. 000826367 300__ $$a1 online resource (xiii, 319 pages) :$$billustrations. 000826367 336__ $$atext$$btxt$$2rdacontent 000826367 337__ $$acomputer$$bc$$2rdamedia 000826367 338__ $$aonline resource$$bcr$$2rdacarrier 000826367 347__ $$atext file$$bPDF$$2rda 000826367 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10723 000826367 4901_ $$aLNCS sublibrary. SL 4, Security and cryptology 000826367 500__ $$aIncludes author index. 000826367 5050_ $$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: Practical and 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. 000826367 506__ $$aAccess limited to authorized users. 000826367 520__ $$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. . 000826367 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed February 19, 2018). 000826367 650_0 $$aComputer security$$vCongresses. 000826367 650_0 $$aData encryption (Computer science)$$vCongresses. 000826367 7001_ $$aImine, Abdessamad,$$eeditor. 000826367 7001_ $$aFernandez, José M.$$eeditor. 000826367 7001_ $$aMarion, Jean-Yves,$$eeditor. 000826367 7001_ $$aLogrippo, L.$$q(Luigi),$$eeditor. 000826367 7001_ $$aGarcia-Alfaro, Joaquin,$$eeditor. 000826367 77608 $$iPrint version: $$z9783319756493 000826367 830_0 $$aLecture notes in computer science ;$$v10723. 000826367 830_0 $$aLNCS sublibrary.$$nSL 4,$$pSecurity and cryptology. 000826367 852__ $$bebk 000826367 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-75650-9$$zOnline Access$$91397441.1 000826367 909CO $$ooai:library.usi.edu:826367$$pGLOBAL_SET 000826367 980__ $$aEBOOK 000826367 980__ $$aBIB 000826367 982__ $$aEbook 000826367 983__ $$aOnline 000826367 994__ $$a92$$bISE