Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10723)
Part of the book sub series: Security and Cryptology (LNSC)
Conference series link(s): FPS: International Symposium on Foundations and Practice of Security
Conference proceedings info: FPS 2017.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (20 papers)
-
Front Matter
-
Formal Verification
-
Front Matter
-
-
Network Security, Encrypted DBs and Blockchain
-
Front Matter
-
About this book
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.
Editors and Affiliations
-
University of Lorraine, Villers-lès-Nancy, France
Abdessamad Imine
-
Polytechnique de Montréal, Montreal, Canada
José M. Fernandez
-
LORIA, Vandœuvre-lès-Nancy, France
Jean-Yves Marion
-
Université du Québec en Outaouais, Gatineau, Canada
Luigi Logrippo
-
Télécom SudParis, Evry Cedex, France
Joaquin Garcia-Alfaro
Bibliographic Information
Book Title: Foundations and Practice of Security
Book Subtitle: 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers
Editors: Abdessamad Imine, José M. Fernandez, Jean-Yves Marion, Luigi Logrippo, Joaquin Garcia-Alfaro
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-75650-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2018
Softcover ISBN: 978-3-319-75649-3Published: 17 February 2018
eBook ISBN: 978-3-319-75650-9Published: 16 February 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 319
Number of Illustrations: 82 b/w illustrations
Topics: Security, Systems and Data Security, Computing Milieux, Data Structures and Information Theory, Artificial Intelligence, Information Systems Applications (incl. Internet)