Foundations of Security Analysis and Design IV

FOSAD 2006/2007 Tutorial Lectures

  • Editors
  • Alessandro Aldini
  • Roberto Gorrieri
Conference proceedings FOSAD 2007, FOSAD 2006

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

Table of contents

  1. Front Matter
  2. Foundations of Security Analysis and Design

    1. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
      Pages 24-74
    2. Úlfar Erlingsson
      Pages 92-134
    3. Fabio Martinelli, Paolo Mori
      Pages 135-159
    4. Javier Lopez, Cristina Alcaraz, Rodrigo Roman
      Pages 160-182
    5. Audun Jøsang
      Pages 209-245
    6. Marcin Czenko, Sandro Etalle, Dongyi Li, William H. Winsborough
      Pages 246-281
    7. Eimear Gallery, Chris J. Mitchell
      Pages 282-323
  3. Back Matter

About these proceedings


IT security Information Java authentication cryptanalysis cryptographic hardware cryptography cypher implementation hardware implementation intrusion detection java security privacy security side-channel attacks smart cards

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-74809-0
  • Online ISBN 978-3-540-74810-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software