skip to content
Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures Preview this item
ClosePreview this item
Checking...

Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures

Author: Alessandro Aldini; Roberto Gorrieri
Publisher: Berlin ; New York : Springer, ©2007.
Series: LNCS sublibrary., SL 4,, Security and cryptology.; Lecture notes in computer science, 4677.; Lecture notes in computer science., Tutorial.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Presents revised versions of eight tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2006/2007, held in Bertinoro,  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

Genre/Form: Conference papers and proceedings
Aufsatzsammlung
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Alessandro Aldini; Roberto Gorrieri
ISBN: 3540748091 9783540748090
OCLC Number: 179780468
Notes: "The 'International School on Foundations of Security Analysis and Design' (FOSAD) ... FOSAD is held annually at the Residential Centre of Bertinoro, Italy ... The present volume gathers a collection of tutorial lectures from FOSAD 2006 and FOSAD 2007"--Preface.
Description: vi, 325 pages : illustrations ; 24 cm.
Contents: Foundations of Security Analysis and Design.- Security Protocols: Principles and Calculi.- Secure Service Orchestration.- IT Security Analysis Best Practices and Formal Approaches.- Low-Level Software Security: Attacks and Defenses.- Enhancing Java Security with History Based Access Control.- On the Protection and Technologies of Critical Information Infrastructures.- An Interpretation of Identity-Based Cryptography.- Trust and Reputation Systems.- An Introduction to the Role Based Trust Management Framework RT.- Trusted Mobile Platforms.
Series Title: LNCS sublibrary., SL 4,, Security and cryptology.; Lecture notes in computer science, 4677.; Lecture notes in computer science., Tutorial.
Other Titles: FOSAD 2006/2007 tutorial lectures
Foundations of security analysis and design 4
Foundations of security analysis and design four
Responsibility: Alessandro Aldini, Roberto Gorrieri (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/179780468> # Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "179780468" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/837137271#Place/berlin> ; # Berlin
    schema:about <http://dewey.info/class/005.8/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/837137271#Topic/kryptosystem> ; # Kryptosystem
    schema:about <http://experiment.worldcat.org/entity/work/data/837137271#Topic/datensicherung> ; # Datensicherung
    schema:about <http://experiment.worldcat.org/entity/work/data/837137271#Topic/computersicherheit> ; # Computersicherheit
    schema:about <http://id.worldcat.org/fast/872484> ; # Computer security
    schema:about <http://experiment.worldcat.org/entity/work/data/837137271#Topic/computer_security> ; # Computer security
    schema:about <http://id.worldcat.org/fast/872341> ; # Computer networks--Security measures
    schema:about <http://experiment.worldcat.org/entity/work/data/837137271#Topic/kryptologie> ; # Kryptologie
    schema:about <http://experiment.worldcat.org/entity/work/data/837137271#Topic/computer_networks_security_measures> ; # Computer networks--Security measures
    schema:alternateName "FOSAD 2006/2007 tutorial lectures" ;
    schema:alternateName "Foundations of security analysis and design 4" ;
    schema:alternateName "Foundations of security analysis and design four" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/837137271#Person/gorrieri_roberto> ; # Roberto Gorrieri
    schema:contributor <http://experiment.worldcat.org/entity/work/data/837137271#Meeting/international_school_on_foundations_of_security_analysis_and_design_2007_bertinoro_italy> ; # International School on Foundations of Security Analysis and Design (2007 : Bertinoro, Italy)
    schema:contributor <http://experiment.worldcat.org/entity/work/data/837137271#Person/aldini_alessandro> ; # Alessandro Aldini
    schema:copyrightYear "2007" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/837137271#Meeting/international_school_on_foundations_of_security_analysis_and_design_2006_bertinoro_italy> ; # International School on Foundations of Security Analysis and Design (2006 : Bertinoro, Italy)
    schema:datePublished "2007" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/837137271> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Aufsatzsammlung"@en ;
    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://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science, Tutorial
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/837137271#Series/lncs_sublibrary_sl_4_security_and_cryptology> ; # LNCS sublibrary. SL 4, Security and cryptology
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/837137271#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:name "Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures"@en ;
    schema:productID "179780468" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/179780468#PublicationEvent/berlin_new_york_springer_2007> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/837137271#Agent/springer> ; # Springer
    schema:url <http://catdir.loc.gov/catdir/toc/fy0803/2007933834.html> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=4677> ;
    schema:url <http://dx.doi.org/10.1007/978-3-540-74810-6> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4677> ;
    schema:workExample <http://worldcat.org/isbn/9783540748090> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/179780468> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

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

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

<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/gorrieri_roberto> # Roberto Gorrieri
    a schema:Person ;
    schema:familyName "Gorrieri" ;
    schema:givenName "Roberto" ;
    schema:name "Roberto Gorrieri" ;
    .

<http://experiment.worldcat.org/entity/work/data/837137271#Place/bertinoro_italy> # Bertinoro, Italy)
    a schema:Place ;
    schema:name "Bertinoro, Italy)" ;
    .

<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/179780468> ; # Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/837137271#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/179780468> ; # Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/837137271#Series/lncs_sublibrary_sl_4_security_and_cryptology> # LNCS sublibrary. SL 4, Security and cryptology
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/179780468> ; # Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures
    schema:name "LNCS sublibrary. SL 4, Security and cryptology" ;
    .

<http://experiment.worldcat.org/entity/work/data/837137271#Topic/computersicherheit> # Computersicherheit
    a schema:Intangible ;
    schema:name "Computersicherheit"@en ;
    .

<http://id.worldcat.org/fast/872341> # Computer networks--Security measures
    a schema:Intangible ;
    schema:name "Computer networks--Security measures"@en ;
    .

<http://id.worldcat.org/fast/872484> # Computer security
    a schema:Intangible ;
    schema:name "Computer security"@en ;
    .

<http://worldcat.org/isbn/9783540748090>
    a schema:ProductModel ;
    schema:isbn "3540748091" ;
    schema:isbn "9783540748090" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science, Tutorial
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/179780468> ; # Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science, Tutorial" ;
    .

<http://www.worldcat.org/title/-/oclc/179780468>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/179780468> ; # Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures
    schema:dateModified "2016-11-16" ;
    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.