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:   Print 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


Primary Entity

<http://www.worldcat.org/oclc/254724296> # Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "254724296" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/837137271#Place/berlin_u_a> ; # Berlin u.a.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/837137271#Topic/operating_systems> ; # Operating systems
   schema:about <http://id.loc.gov/authorities/subjects/sh85078117> ; # Logic design
   schema:about <http://experiment.worldcat.org/entity/work/data/837137271#Topic/computer_security_congresses> ; # Computer security--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/837137271#Topic/information_systems> ; # Information Systems
   schema:about <http://experiment.worldcat.org/entity/work/data/837137271#Topic/computer_networks_congresses_security_measures> ; # Computer networks--Congresses--Security measures
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://experiment.worldcat.org/entity/work/data/837137271#Topic/computer_communication_networks> ; # Computer Communication Networks
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/837137271#Topic/data_encryption> ; # Data encryption
   schema:about <http://experiment.worldcat.org/entity/work/data/837137271#Topic/computer_security> ; # Computer security
   schema:about <http://id.loc.gov/authorities/subjects/sh89003285> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/837137271#Topic/computer_networks_security_measures> ; # Computer networks--Security measures
   schema:about <http://dewey.info/class/005.8/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/837137271#Person/martinelli_fabio> ; # Fabio Martinelli
   schema:contributor <http://experiment.worldcat.org/entity/work/data/837137271#Person/aldini_alessandro> ; # Alessandro Aldini
   schema:contributor <http://experiment.worldcat.org/entity/work/data/837137271#Meeting/international_school_on_foundations_of_security_analysis_and_design_2005_09_19_24_bertinoro> ; # International School on Foundations of Security Analysis and Design (2005.09.19-24 : Bertinoro)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/837137271#Meeting/fosad_2005_2005_09_19_24_bertinoro> ; # FOSAD 2005 (2005.09.19-24 : Bertinoro)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/837137271#Meeting/international_school_on_foundations_of_security_analysis_and_design_2004_09_06_11_bertinoro> ; # International School on Foundations of Security Analysis and Design (2004.09.06-11 : Bertinoro)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/837137271#Meeting/fosad_2004_2004_09_06_11_bertinoro> ; # FOSAD 2004 (2004.09.06-11 : Bertinoro)
   schema:contributor <http://viaf.org/viaf/54392393> ; # Roberto Gorrieri
   schema:datePublished "2005" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/837137271> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/837137271#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/837137271#Series/tutorial> ; # Tutorial.
   schema:name "Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures" ;
   schema:productID "254724296" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/254724296#PublicationEvent/berlin_u_a_springer_2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/837137271#Agent/springer> ; # Springer
   schema:url <http://deposit.ddb.de/cgi-bin/dokserv?id=2671616&prov=M&dok_var=1&dok_ext=htm> ;
   schema:url <http://dx.doi.org/10.1007/11554578> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0663/2005931798-d.html> ;
   schema:workExample <http://worldcat.org/isbn/9783540289555> ;
   umbel:isLike <http://d-nb.info/976046229> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/254724296> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/837137271#Meeting/international_school_on_foundations_of_security_analysis_and_design_2004_09_06_11_bertinoro> # International School on Foundations of Security Analysis and Design (2004.09.06-11 : Bertinoro)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/837137271#Place/bertinoro> ; # Bertinoro)
   schema:name "International School on Foundations of Security Analysis and Design (2004.09.06-11 : Bertinoro)" ;
    .

<http://experiment.worldcat.org/entity/work/data/837137271#Meeting/international_school_on_foundations_of_security_analysis_and_design_2005_09_19_24_bertinoro> # International School on Foundations of Security Analysis and Design (2005.09.19-24 : Bertinoro)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/837137271#Place/bertinoro> ; # Bertinoro)
   schema:name "International School on Foundations of Security Analysis and Design (2005.09.19-24 : Bertinoro)" ;
    .

<http://experiment.worldcat.org/entity/work/data/837137271#Person/aldini_alessandro> # Alessandro Aldini
    a schema:Person ;
   schema:familyName "Aldini" ;
   schema:givenName "Alessandro" ;
   schema:name "Alessandro Aldini" ;
    .

<http://experiment.worldcat.org/entity/work/data/837137271#Person/martinelli_fabio> # Fabio Martinelli
    a schema:Person ;
   schema:familyName "Martinelli" ;
   schema:givenName "Fabio" ;
   schema:name "Fabio Martinelli" ;
    .

<http://experiment.worldcat.org/entity/work/data/837137271#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/254724296> ; # Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/837137271#Series/tutorial> # Tutorial.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/254724296> ; # Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures
   schema:name "Tutorial." ;
   schema:name "Tutorial" ;
    .

<http://experiment.worldcat.org/entity/work/data/837137271#Topic/computer_communication_networks> # Computer Communication Networks
    a schema:Intangible ;
   schema:name "Computer Communication Networks" ;
    .

<http://experiment.worldcat.org/entity/work/data/837137271#Topic/computer_networks_congresses_security_measures> # Computer networks--Congresses--Security measures
    a schema:Intangible ;
   schema:name "Computer networks--Congresses--Security measures" ;
    .

<http://experiment.worldcat.org/entity/work/data/837137271#Topic/computer_networks_security_measures> # Computer networks--Security measures
    a schema:Intangible ;
   schema:name "Computer networks--Security measures" ;
    .

<http://experiment.worldcat.org/entity/work/data/837137271#Topic/computer_security_congresses> # Computer security--Congresses
    a schema:Intangible ;
   schema:name "Computer security--Congresses" ;
    .

<http://experiment.worldcat.org/entity/work/data/837137271#Topic/information_systems> # Information Systems
    a schema:Intangible ;
   schema:name "Information Systems" ;
    .

<http://id.loc.gov/authorities/subjects/sh85078117> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.loc.gov/authorities/subjects/sh89003285> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://viaf.org/viaf/54392393> # Roberto Gorrieri
    a schema:Person ;
   schema:familyName "Gorrieri" ;
   schema:givenName "Roberto" ;
   schema:name "Roberto Gorrieri" ;
    .

<http://worldcat.org/isbn/9783540289555>
    a schema:ProductModel ;
   schema:isbn "3540289550" ;
   schema:isbn "9783540289555" ;
    .

<http://www.worldcat.org/title/-/oclc/254724296>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/254724296> ; # Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures
   schema:dateModified "2017-01-19" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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