Editors:
- Provides a collection of tutorial papers accompanying lectures given at the FOSAD summer school in 2014, 2015 and 2016
- Written by field experts for students, researchers and practitioners
- Thoroughly revised tutorials
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9808)
Part of the book sub series: Security and Cryptology (LNSC)
Conference series link(s): FOSAD: International School on Foundations of Security Analysis and Design
Conference proceedings info: FOSAD 2015. FOSAD 2016.
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 (4 chapters)
-
Front Matter
-
Back Matter
About this book
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Over the years, both the summer school and the book series have represented a reference point for graduate students and young researchers from academia and industry, interested to approach the field, investigate open problems, and follow priority lines of research.
This book presents thoroughly revised versions of four tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD, held in Bertinoro, Italy, in September 2014, 2015 and 2016. The topics covered in this book include zero-knowledge proof systems, JavaScript sandboxing, assessment of privacy, and distributed authorization.
Keywords
- access control
- distributed systems
- privacy architectures
- proof systems
- Web application security
- applications
- authorization
- cryptographic protocols
- cryptographic protocols verification
- foundations
- internet
- javascript
- peer-to-peer
- personal information
- privacy protection
- security analysis
- security policy
- sensor
- Web applications
- Web protocol security
Editors and Affiliations
-
University of Urbino , Urbino, Italy
Alessandro Aldini
-
University of Malaga , Malaga, Spain
Javier Lopez
-
National Research Council C.N.R. , Pisa, Italy
Fabio Martinelli
About the editors
Bibliographic Information
Book Title: Foundations of Security Analysis and Design VIII
Book Subtitle: FOSAD 2014/2015/2016 Tutorial Lectures
Editors: Alessandro Aldini, Javier Lopez, Fabio Martinelli
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-43005-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-43004-1Published: 14 August 2016
eBook ISBN: 978-3-319-43005-8Published: 15 August 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 163
Number of Illustrations: 36 b/w illustrations
Topics: Systems and Data Security, Cryptology, Management of Computing and Information Systems, Information Systems Applications (incl. Internet), Computers and Society