國立高雄大學圖資館 |

Language: English

Back

Foundations and practice of security...

(1998 :)

Foundations and practice of security10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017 : revised selected papers /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Foundations and practice of securityedited by Abdessamad Imine ... [et al.].
Reminder of title:	10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017 : revised selected papers /
remainder title:	FPS 2017
other author:	Imine, Abdessamad.
corporate name:
Published:	Cham :Springer International Publishing :2018.
Description:	xiii, 319 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer securityCongresses.
Online resource:	http://dx.doi.org/10.1007/978-3-319-75650-9
ISBN:	9783319756509$q(electronic bk.)

Foundations and practice of security10th 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] :FPS 2017edited by Abdessamad Imine ... [et al.]. - Cham :Springer International Publishing :2018. - xiii, 319 p. :ill., digital ;24 cm. - Lecture notes in computer science,107230302-9743 ;. - Lecture notes in computer science ;4891..

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$q(electronic bk.)

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

383239
Computer security
--Congresses.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.8

Foundations and practice of security10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017 : revised selected papers /
LDR:03327nmm a2200313 a 4500 001 531710
003 DE-He213
005 20180216184518.0
006 m d
007 cr nn 008maaau
008 181113s2018 gw s 0 eng d
020 $a 9783319756509$q(electronic bk.)
020 $a 9783319756493$q(paper)
024 7 $a 10.1007/978-3-319-75650-9 $2 doi
035 $a 978-3-319-75650-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25
082 0 4 $a 005.8 $2 23
090 $a QA76.9.A25 $b F796 2017
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 ... [et al.].
246 3 $a FPS 2017
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a xiii, 319 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $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 Computer security $v Congresses. $3 383239
650 0 $a Data encryption (Computer science) $3 184520
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Security. $3 760527
650 2 4 $a Systems and Data Security. $3 274481
650 2 4 $a Computing Milieux. $3 275270
650 2 4 $a Data Structures, Cryptology and Information Theory. $3 273993
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 252959
650 2 4 $a Information Systems Applications (incl. Internet) $3 530743
700 1 $a Imine, Abdessamad. $3 806290
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-75650-9
950 $a Computer Science (Springer-11645)