Skip to main content
SpringerLink
Log in
Book cover
  • Textbook
  • © 2011

Foundations of Security Analysis and Design VI

FOSAD Tutorial Lectures

Editors:

  1. Alessandro Aldini

    1. Dipartimento di Scienze di Base e Fondamenti, Università degli Studi di Urbino “Carlo Bo”, Urbino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Roberto Gorrieri

    1. Dipartimento di Scienze dell’Informazione, Università degli Studi di Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Made for students, researchers and practitioners
  • Thoroughly revised tutorials
  • Original, readable and useful lecture notes

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6858)

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

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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 (9 chapters)

  1. Front Matter

    PDF

  2. Foundations of Security Analysis and Design

    1. Protecting Privacy in Data Release

      • Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati
      Pages 1-34

    2. An Introduction to Security API Analysis

      • Riccardo Focardi, Flaminia L. Luccio, Graham Steel
      Pages 35-65

    3. Cryptographic Verification by Typing for a Sample Protocol Implementation

      • Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon
      Pages 66-100

    4. Model-Driven Development of Security-Aware GUIs for Data-Centric Applications

      • David Basin, Manuel Clavel, Marina Egea, Miguel A. García de Dios, Carolina Dania, Gonzalo Ortiz et al.
      Pages 101-124

    5. On Intransitive Non-interference in Some Models of Concurrency

      • Roberto Gorrieri, Matteo Vernali
      Pages 125-151

    7. The Geometry of Lattice Cryptography

      • Daniele Micciancio
      Pages 185-210

    8. Quantitative Information Flow and Applications to Differential Privacy

      • Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
      Pages 211-230

    9. Risk Analysis of Changing and Evolving Systems Using CORAS

      • Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen
      Pages 231-274

  3. Back Matter

    PDF
Back to top

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. Offering a timely spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open problems, and giving presentations about ongoing work in the field, in order to stimulate discussions and novel scientific collaborations. This book presents thoroughly revised versions of nine tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD, held in Bertinoro, Italy, in September 2010 and August/September 2011. The topics covered in this book include privacy and data protection; security APIs; cryptographic verification by typing; model-driven security; noninterfer-quantitative information flow analysis; and risk analysis.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Dipartimento di Scienze di Base e Fondamenti, Università degli Studi di Urbino “Carlo Bo”, Urbino, Italy

    Alessandro Aldini

  • Dipartimento di Scienze dell’Informazione, Università degli Studi di Bologna, Bologna, Italy

    Roberto Gorrieri

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation