Research Catalog
Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures
- Title
- Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures / Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.).
- Publication
- Berlin ; New York : Springer, [2009], ©2009.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Request in advance | QA76.9.A25 F68 2009g | Off-site |
Holdings
Details
- Additional Authors
- Aldini, Alessandro.
- Barthe, Gilles, 1967-
- Gorrieri, Roberto.
- International School on Foundations of Security Analysis and Design (2007 : Bertinoro, Italy)
- International School on Foundations of Security Analysis and Design (2008 : Bertinoro, Italy)
- International School on Foundations of Security Analysis and Design (2009 : Bertinoro, Italy)
- Description
- viii, 338 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 5705. Tutorial
- LNCS sublibrary. SL 4, Security and cryptology
- Uniform Title
- Lecture notes in computer science ; 5705.
- Lecture notes in computer science. Tutorial.
- LNCS sublibrary. SL 4, Security and cryptology.
- Alternative Title
- FOSAD 2007/2008/2009 tutorial lectures
- Subjects
- Note
- "Presents thoroughly revised versions of 10 tutorial lectures given by ... FOSAD ... in Bertinoro, Italy in ... 2007, ... 2008, and ... 2009"--Back cover.
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 9783642038280 (pbk.)
- 364203828X (pbk.)
- LCCN
- 2009932255
- OCLC
- ocn435374782
- 435374782
- SCSB-5486207
- Owning Institutions
- Columbia University Libraries