skip to content
Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures Preview this item
ClosePreview this item
Checking...

Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures

Author: Alessandro Aldini; Roberto Gorrieri; Fabio Martinelli
Publisher: Berlin [u.a.] : Springer, 2005.
Series: Lecture notes in computer science, 3655.; Tutorial.
Edition/Format:   Book : EnglishView all editions and formats
Database:WorldCat
Summary:

Presents 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  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Alessandro Aldini; Roberto Gorrieri; Fabio Martinelli
ISBN: 3540289550 9783540289555
OCLC Number: 254724296
Description: VII, 272 S : graph. Darst ; 235 x 155 mm.
Contents: FOSAD 2004 (6-11 September 2004).- Justifying a Dolev-Yao Model Under Active Attacks.- Model-Based Security Engineering with UML.- A Tutorial on Physical Security and Side-Channel Attacks.- Static Analysis of Authentication.- FOSAD 2005 (19-24 September 2005).- Formal Methods for Smartcard Security.- Privacy-Preserving Database Systems.- Intrusion Detection: Introduction to Intrusion Detection and Security Information Management.- Security and Trust Requirements Engineering.
Series Title: Lecture notes in computer science, 3655.; Tutorial.
Responsibility: Alessandro Aldini ... (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/254724296>
library:oclcnum"254724296"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/254724296>
rdf:typeschema:Book
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:datePublished"2005"
schema:exampleOfWork<http://worldcat.org/entity/work/id/1012402775>
schema:inLanguage"en"
schema:name"Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures"
schema:publisher
schema:url
schema:workExample
umbel:isLike<http://d-nb.info/976046229>

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.