Security and Cryptology

Foundations of Security Analysis and Design VI

FOSAD Tutorial Lectures

Editors: Aldini, Alessandro, Gorrieri, Roberto (Eds.)

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

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-23082-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-642-23081-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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.

Table of contents (9 chapters)

  • Protecting Privacy in Data Release

    Capitani di Vimercati, Sabrina (et al.)

    Pages 1-34

  • An Introduction to Security API Analysis

    Focardi, Riccardo (et al.)

    Pages 35-65

  • Cryptographic Verification by Typing for a Sample Protocol Implementation

    Fournet, Cédric (et al.)

    Pages 66-100

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

    Basin, David (et al.)

    Pages 101-124

  • On Intransitive Non-interference in Some Models of Concurrency

    Gorrieri, Roberto (et al.)

    Pages 125-151

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-23082-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-642-23081-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Foundations of Security Analysis and Design VI
Book Subtitle
FOSAD Tutorial Lectures
Editors
  • Alessandro Aldini
  • Roberto Gorrieri
Series Title
Security and Cryptology
Series Volume
6858
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-23082-0
DOI
10.1007/978-3-642-23082-0
Softcover ISBN
978-3-642-23081-3
Edition Number
1
Number of Pages
VII, 275
Number of Illustrations and Tables
58 b/w illustrations, 33 illustrations in colour
Topics