國立虎尾科技大學 |

Foundations and Practice of Security = 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Foundations and Practice of Security/ edited by Abdessamad Imine, José M. Fernandez, Jean-Yves Marion, Luigi Logrippo, Joaquin Garcia-Alfaro.
Reminder of title:	10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers /
other author:	Imine, Abdessamad.
Description:	XIII, 319 p. 82 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Data protection. -
Online resource:	https://doi.org/10.1007/978-3-319-75650-9
ISBN:	9783319756509

Foundations and Practice of Security = 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers /
Foundations and Practice of Security10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers /[electronic resource] :edited by Abdessamad Imine, José M. Fernandez, Jean-Yves Marion, Luigi Logrippo, Joaquin Garcia-Alfaro. - 1st ed. 2018. - XIII, 319 p. 82 illus.online resource. - Security and Cryptology ;10723. - Security and Cryptology ;9241.

Access 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.

This 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. .

ISBN: 9783319756509

Standard No.: 10.1007/978-3-319-75650-9doiSubjects--Topical Terms:

557764
Data protection.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.8

Foundations and Practice of Security = 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers /
LDR:03779nam a22004095i 4500 001 996229
003 DE-He213
005 20200706193234.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319756509 $9 978-3-319-75650-9
024 7 $a 10.1007/978-3-319-75650-9 $2 doi
035 $a 978-3-319-75650-9
050 4 $a QA76.9.A25
072 7 $a UR $2 bicssc
072 7 $a COM053000 $2 bisacsh
072 7 $a UR $2 thema
082 0 4 $a 005.8 $2 23
245 1 0 $a Foundations and Practice of Security $h [electronic resource] : $b 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers / $c edited by Abdessamad Imine, José M. Fernandez, Jean-Yves Marion, Luigi Logrippo, Joaquin Garcia-Alfaro.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XIII, 319 p. 82 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Security and Cryptology ; $v 10723
505 0 $a Access 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.
520 $a This 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. .
650 0 $a Data protection. $3 557764
650 0 $a Computer security. $3 557122
650 0 $a Computers. $3 565115
650 0 $a Data structures (Computer science). $3 680370
650 0 $a Artificial intelligence. $3 559380
650 0 $a Application software. $3 528147
650 1 4 $a Security. $3 1114130
650 2 4 $a Systems and Data Security. $3 677062
650 2 4 $a Computing Milieux. $3 669921
650 2 4 $a Data Structures and Information Theory. $3 1211601
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Information Systems Applications (incl. Internet). $3 881699
700 1 $a Imine, Abdessamad. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1287340
700 1 $a Fernandez, José M. $e editor. $1 https://orcid.org/0000-0001-9836-3595 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1287341
700 1 $a Marion, Jean-Yves. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1287342
700 1 $a Logrippo, Luigi. $e editor. $1 https://orcid.org/0000-0001-8804-0450 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1287343
700 1 $a Garcia-Alfaro, Joaquin. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 784619
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319756493
776 0 8 $i Printed edition: $z 9783319756516
830 0 $a Security and Cryptology ; $v 9241 $3 1254069
856 4 0 $u https://doi.org/10.1007/978-3-319-75650-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)