Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/1969
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Imine, Abdessamad. ; editor. ; | en_US |
dc.contributor.author | Fernandez, Jose M. ; editor. ; | en_US |
dc.contributor.author | Marion, Jean-Yves. ; editor. ; | en_US |
dc.contributor.author | Logrippo, Luigi. ; editor. ; | en_US |
dc.contributor.author | Garcia-Alfaro, Joaquin. ; editor. ; | en_US |
dc.date.accessioned | 2013 | en_US |
dc.date.accessioned | 2020-05-17T08:34:48Z | - |
dc.date.available | 2020-05-17T08:34:48Z | - |
dc.date.issued | 2018 | en_US |
dc.identifier.isbn | 9783319756509 ; 978-3-319-75650-9 ; | en_US |
dc.identifier.uri | http://localhost/handle/Hannan/1969 | - |
dc.description | en_US | |
dc.description | en_US | |
dc.description | SpringerLink (Online service) ; | en_US |
dc.description | en_US | |
dc.description | QA76 | en_US |
dc.description | Printed edition: ; 9783319756493 ; | en_US |
dc.description | 42 ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description.abstract | 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.e. ; | en_US |
dc.description.statementofresponsibility | edited by Abdessamad Imine, Jose M. Fernandez, Jean-Yves Marion, Luigi Logrippo, Joaquin Garcia-Alfaro. | en_US |
dc.description.tableofcontents | 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 AndroideRansomware 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. ; | en_US |
dc.format.extent | XIII, 319 p. 82 illus. ; online resource. ; | en_US |
dc.publisher | Springer International Publishing : | en_US |
dc.publisher | Imprint: Springer, | en_US |
dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10723 ; | en_US |
dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10723 ; | en_US |
dc.relation.haspart | 9783319756509.pdf | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Computer Security | en_US |
dc.subject | Data structures (Computer science). ; | en_US |
dc.subject | Artificial Intelligence | en_US |
dc.subject | Computers | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Security. ; | en_US |
dc.subject | Systems and Data Security | en_US |
dc.subject | Computing Milieux. ; | en_US |
dc.subject | Data Structures, Cryptology and Information T | en_US |
dc.title | Foundations and Practice of Security | en_US |
dc.title.alternative | 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers / | en_US |
dc.type | Book | en_US |
dc.publisher.place | Cham : | en_US |
Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783319756509.pdf | 12.5 MB | Adobe PDF | Preview File |
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Imine, Abdessamad. ; editor. ; | en_US |
dc.contributor.author | Fernandez, Jose M. ; editor. ; | en_US |
dc.contributor.author | Marion, Jean-Yves. ; editor. ; | en_US |
dc.contributor.author | Logrippo, Luigi. ; editor. ; | en_US |
dc.contributor.author | Garcia-Alfaro, Joaquin. ; editor. ; | en_US |
dc.date.accessioned | 2013 | en_US |
dc.date.accessioned | 2020-05-17T08:34:48Z | - |
dc.date.available | 2020-05-17T08:34:48Z | - |
dc.date.issued | 2018 | en_US |
dc.identifier.isbn | 9783319756509 ; 978-3-319-75650-9 ; | en_US |
dc.identifier.uri | http://localhost/handle/Hannan/1969 | - |
dc.description | en_US | |
dc.description | en_US | |
dc.description | SpringerLink (Online service) ; | en_US |
dc.description | en_US | |
dc.description | QA76 | en_US |
dc.description | Printed edition: ; 9783319756493 ; | en_US |
dc.description | 42 ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description.abstract | 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.e. ; | en_US |
dc.description.statementofresponsibility | edited by Abdessamad Imine, Jose M. Fernandez, Jean-Yves Marion, Luigi Logrippo, Joaquin Garcia-Alfaro. | en_US |
dc.description.tableofcontents | 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 AndroideRansomware 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. ; | en_US |
dc.format.extent | XIII, 319 p. 82 illus. ; online resource. ; | en_US |
dc.publisher | Springer International Publishing : | en_US |
dc.publisher | Imprint: Springer, | en_US |
dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10723 ; | en_US |
dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10723 ; | en_US |
dc.relation.haspart | 9783319756509.pdf | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Computer Security | en_US |
dc.subject | Data structures (Computer science). ; | en_US |
dc.subject | Artificial Intelligence | en_US |
dc.subject | Computers | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Security. ; | en_US |
dc.subject | Systems and Data Security | en_US |
dc.subject | Computing Milieux. ; | en_US |
dc.subject | Data Structures, Cryptology and Information T | en_US |
dc.title | Foundations and Practice of Security | en_US |
dc.title.alternative | 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers / | en_US |
dc.type | Book | en_US |
dc.publisher.place | Cham : | en_US |
Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783319756509.pdf | 12.5 MB | Adobe PDF | Preview File |
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Imine, Abdessamad. ; editor. ; | en_US |
dc.contributor.author | Fernandez, Jose M. ; editor. ; | en_US |
dc.contributor.author | Marion, Jean-Yves. ; editor. ; | en_US |
dc.contributor.author | Logrippo, Luigi. ; editor. ; | en_US |
dc.contributor.author | Garcia-Alfaro, Joaquin. ; editor. ; | en_US |
dc.date.accessioned | 2013 | en_US |
dc.date.accessioned | 2020-05-17T08:34:48Z | - |
dc.date.available | 2020-05-17T08:34:48Z | - |
dc.date.issued | 2018 | en_US |
dc.identifier.isbn | 9783319756509 ; 978-3-319-75650-9 ; | en_US |
dc.identifier.uri | http://localhost/handle/Hannan/1969 | - |
dc.description | en_US | |
dc.description | en_US | |
dc.description | SpringerLink (Online service) ; | en_US |
dc.description | en_US | |
dc.description | QA76 | en_US |
dc.description | Printed edition: ; 9783319756493 ; | en_US |
dc.description | 42 ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description.abstract | 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.e. ; | en_US |
dc.description.statementofresponsibility | edited by Abdessamad Imine, Jose M. Fernandez, Jean-Yves Marion, Luigi Logrippo, Joaquin Garcia-Alfaro. | en_US |
dc.description.tableofcontents | 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 AndroideRansomware 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. ; | en_US |
dc.format.extent | XIII, 319 p. 82 illus. ; online resource. ; | en_US |
dc.publisher | Springer International Publishing : | en_US |
dc.publisher | Imprint: Springer, | en_US |
dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10723 ; | en_US |
dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10723 ; | en_US |
dc.relation.haspart | 9783319756509.pdf | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Computer Security | en_US |
dc.subject | Data structures (Computer science). ; | en_US |
dc.subject | Artificial Intelligence | en_US |
dc.subject | Computers | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Security. ; | en_US |
dc.subject | Systems and Data Security | en_US |
dc.subject | Computing Milieux. ; | en_US |
dc.subject | Data Structures, Cryptology and Information T | en_US |
dc.title | Foundations and Practice of Security | en_US |
dc.title.alternative | 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers / | en_US |
dc.type | Book | en_US |
dc.publisher.place | Cham : | en_US |
Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783319756509.pdf | 12.5 MB | Adobe PDF | Preview File |