Coverart for item
The Resource Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures, Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)

Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures, Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)

Label
Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures
Title
Foundations of security analysis and design III
Title remainder
FOSAD 2004/2005 tutorial lectures
Statement of responsibility
Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)
Title variation
FOSAD 2004/2005 tutorial lectures
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of research groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security aspects. This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2004/2005, held in Bertinoro, Italy, in September 2004 and September 2005. The lectures are devoted to: Justifying a Dolev-Yao Model under Active Attacks, Model-based Security Engineering with UML, Physical Security and Side-Channel Attacks, Static Analysis of Authentication, Formal Methods for Smartcard Security, Privacy-Preserving Database Systems, Intrusion Detection, Security and Trust Requirements Engineering
Member of
Cataloging source
GW5XE
Dewey number
005.8
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A25
LC item number
I5565 2005eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
International School on Foundations of Security Analysis and Design
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1969-
  • 2005
http://library.link/vocab/relatedWorkOrContributorName
  • Aldini, Alessandro
  • Gorrieri, Roberto
  • Martinelli, Fabio
  • International School on Foundations of Security Analysis and Design
Series statement
  • Lecture notes in computer science,
  • Tutorial
Series volume
3655.
http://library.link/vocab/subjectName
  • Computer security
  • Computer networks
  • Sécurité informatique
  • Réseaux d'ordinateurs
  • Systèmes informatiques
  • Informatique
  • Computer networks
  • Computer security
  • Système informatique
  • Mesures de sécurité
  • Réseau d'ordinateurs
  • Sécurité informatique
Label
Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures, Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
FOSAD 2004 (6-11 September 2004) -- FOSAD 2005 (19-24 September 2005)
Control code
262681413
Dimensions
unknown
Extent
1 online resource (vi, 272 pages)
Form of item
online
Isbn
9783540289555
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/11554578
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-28955-5
Specific material designation
remote
System control number
(OCoLC)262681413
Label
Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures, Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
FOSAD 2004 (6-11 September 2004) -- FOSAD 2005 (19-24 September 2005)
Control code
262681413
Dimensions
unknown
Extent
1 online resource (vi, 272 pages)
Form of item
online
Isbn
9783540289555
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/11554578
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-28955-5
Specific material designation
remote
System control number
(OCoLC)262681413

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...