skip to content
Formal aspects in security and trust : fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 ; revised selected papers Preview this item
ClosePreview this item
Checking...

Formal aspects in security and trust : fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 ; revised selected papers

Author: Theo Dimitrakos; Fabio Martinelli; Peter Y A Ryan; Steve Schneider
Publisher: Berlin [u.a.] : Springer, 2007.
Series: Lecture notes in computer science, 4691.
Edition/Format:   Print book : EnglishView all editions and formats
Publication:Formal Aspects in Security and Trust.
Database:WorldCat
Summary:

Constitutes the refereed post-proceedings of the Fourth International Workshop on Formal Aspects in Security and Trust, FAST 2006, held in Hamilton, Ontario, Canada, August 26-27, 2006. This book  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
Congresses
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Theo Dimitrakos; Fabio Martinelli; Peter Y A Ryan; Steve Schneider
ISBN: 3540752269 9783540752264
OCLC Number: 255918686
Notes: Literaturangaben.
Description: VIII, 284 S. : graph. Darst. ; 235 x 155 mm.
Contents: Strategic Games on Defense Trees.- Timed Calculus of Cryptographic Communication.- A Semantic Paradigm for Component-Based Specification Integrating a Notion of Security Risk.- Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security.- Measuring Anonymity with Relative Entropy.- Formalizing and Analyzing Sender Invariance.- From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust.- A Tool for the Synthesis of Controller Programs.- Where Can an Insider Attack?.- Maintaining Information Flow Security Under Refinement and Transformation.- A Classification of Delegation Schemes for Attribute Authority.- Program Partitioning Using Dynamic Trust Models.- Locality-Based Security Policies.- A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols.- A Formal Specification of the MIDP 2.0 Security Model.- A Comparison of Semantic Models for Noninterference.- Hiding Information in Multi Level Security Systems.- A New Trust Model Based on Advanced D-S Evidence Theory for P2P Networks.
Series Title: Lecture notes in computer science, 4691.
Responsibility: Theo Dimitrakos ; Fabio Martinelli ; Peter Y.A. Ryan ; Steve Schneider (Eds.).

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/255918686> # Formal aspects in security and trust : fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 ; revised selected papers
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "255918686" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/49024610#Place/berlin_u_a> ; # Berlin u.a.
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/hamilton_ontario_2006> ; # Hamilton
    schema:about <http://id.loc.gov/authorities/subjects/sh85138261> ; # Trust
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/formale_methode_swd_id_43337223> ; # Formale Methode ; SWD-ID: 43337223
    schema:about <http://id.worldcat.org/fast/872484> ; # Computer security
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/computersicherheit_swd_id_42743242> ; # Computersicherheit ; SWD-ID: 42743242
    schema:about <http://dewey.info/class/005.8/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/kongress> ; # Kongress
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/trusted_computing_swd_id_75629318> ; # Trusted Computing ; SWD-ID: 75629318
    schema:about <http://id.worldcat.org/fast/1158174> ; # Trust
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/computer_security> ; # Computer security
    schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/49024610#Topic/datensicherung_swd_id_40111441> ; # Datensicherung ; SWD-ID: 40111441
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Meeting/fast_4_2006_08_hamilton_ont> ; # FAST (4 : 2006.08 : Hamilton, Ont.)
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/ryan_peter_y_a> ; # Peter Y. A. Ryan
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/martinelli_fabio> ; # Fabio Martinelli
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/dimitrakos_theo> ; # Theo Dimitrakos
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Person/schneider_steve> ; # Steve Schneider
    schema:contributor <http://experiment.worldcat.org/entity/work/data/49024610#Meeting/international_workshop_on_formal_aspects_in_security_and_trust_4_2006_08_hamilton_ont> ; # International Workshop on Formal Aspects in Security and Trust (4 : 2006.08 : Hamilton, Ont.)
    schema:datePublished "2007" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/49024610> ;
    schema:genre "Conference papers and proceedings" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/49024610#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Formal aspects in security and trust : fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 ; revised selected papers" ;
    schema:productID "255918686" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/255918686#PublicationEvent/berlin_u_a_springer_2007> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/49024610#Agent/springer> ; # Springer
    schema:url <http://swbplus.bsz-bw.de/bsz273366041cov.htm> ;
    schema:url <http://dx.doi.org/10.1007/978-3-540-75227-1> ;
    schema:workExample <http://worldcat.org/isbn/9783540752264> ;
    umbel:isLike <http://d-nb.info/985455632> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/255918686> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/49024610#Meeting/international_workshop_on_formal_aspects_in_security_and_trust_4_2006_08_hamilton_ont> # International Workshop on Formal Aspects in Security and Trust (4 : 2006.08 : Hamilton, Ont.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/49024610#Place/hamilton_ont> ; # Hamilton, Ont.)
    schema:name "International Workshop on Formal Aspects in Security and Trust (4 : 2006.08 : Hamilton, Ont.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/dimitrakos_theo> # Theo Dimitrakos
    a schema:Person ;
    schema:familyName "Dimitrakos" ;
    schema:givenName "Theo" ;
    schema:name "Theo Dimitrakos" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#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/49024610#Person/ryan_peter_y_a> # Peter Y. A. Ryan
    a schema:Person ;
    schema:familyName "Ryan" ;
    schema:givenName "Peter Y. A." ;
    schema:name "Peter Y. A. Ryan" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Person/schneider_steve> # Steve Schneider
    a schema:Person ;
    schema:familyName "Schneider" ;
    schema:givenName "Steve" ;
    schema:name "Steve Schneider" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Place/hamilton_ont> # Hamilton, Ont.)
    a schema:Place ;
    schema:name "Hamilton, Ont.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/255918686> ; # Formal aspects in security and trust : fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 ; revised selected papers
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Topic/computersicherheit_swd_id_42743242> # Computersicherheit ; SWD-ID: 42743242
    a schema:Intangible ;
    schema:name "Computersicherheit ; SWD-ID: 42743242" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Topic/datensicherung_swd_id_40111441> # Datensicherung ; SWD-ID: 40111441
    a schema:Intangible ;
    schema:name "Datensicherung ; SWD-ID: 40111441" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Topic/formale_methode_swd_id_43337223> # Formale Methode ; SWD-ID: 43337223
    a schema:Intangible ;
    schema:name "Formale Methode ; SWD-ID: 43337223" ;
    .

<http://experiment.worldcat.org/entity/work/data/49024610#Topic/trusted_computing_swd_id_75629318> # Trusted Computing ; SWD-ID: 75629318
    a schema:Intangible ;
    schema:name "Trusted Computing ; SWD-ID: 75629318" ;
    .

<http://id.worldcat.org/fast/1158174> # Trust
    a schema:Intangible ;
    schema:name "Trust" ;
    .

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

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)" ;
    .

<http://worldcat.org/isbn/9783540752264>
    a schema:ProductModel ;
    schema:isbn "3540752269" ;
    schema:isbn "9783540752264" ;
    .

<http://www.worldcat.org/title/-/oclc/255918686>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/255918686> ; # Formal aspects in security and trust : fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 ; revised selected papers
    schema:dateModified "2016-08-09" ;
    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.