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
Publisher: Berlin ; New York : Springer, ©2006.
Series: Lecture notes in computer science, 4691.; LNCS sublibrary., SL 4,, Security and cryptology.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This book constitutes the thoroughly refereed post-proceedings of the Fourth International Workshop on Formal Aspects in Security and Trust, FAST 2006, held in Hamilton, Ontario, Canada, August  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: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Theo Dimitrakos
ISBN: 9783540752264 3540752269
OCLC Number: 173602689
Description: viii, 284 pages : illustrations ; 24 cm.
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.; LNCS sublibrary., SL 4,, Security and cryptology.
Responsibility: Theo Dimitrakos [and others] (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/173602689> # 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 "173602689" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4919638646#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://dewey.info/class/005.8/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4919638646#Topic/computer_security> ; # Computer security
    schema:about <http://id.loc.gov/authorities/subjects/sh85138261> ; # Trust
    schema:about <http://id.worldcat.org/fast/872484> ; # Computer security
    schema:about <http://id.worldcat.org/fast/1158174> ; # Trust
    schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/38052591> ; # Theo Dimitrakos
    schema:copyrightYear "2006" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/4919638646#Meeting/fast_workshop_4th_2006_hamilton_ont> ; # FAST (Workshop) (4th : 2006 : Hamilton, Ont.)
    schema:datePublished "2007" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4919638646> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4919638646#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4919638646#Series/lncs_sublibrary_sl_4_security_and_cryptology> ; # LNCS sublibrary. SL 4, Security and cryptology
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # 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"@en ;
    schema:productID "173602689" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/173602689#PublicationEvent/berlin_new_york_springer_2006> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4919638646#Agent/springer> ; # Springer
    schema:url <http://ezproxy.rice.edu/login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4691> ;
    schema:url <http://dx.doi.org/10.1007/978-3-540-75227-1> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4691> ;
    schema:workExample <http://worldcat.org/isbn/9783540752264> ;
    umbel:isLike <http://d-nb.info/985455632> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/173602689> ;
    .


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/4919638646#Meeting/fast_workshop_4th_2006_hamilton_ont> # FAST (Workshop) (4th : 2006 : Hamilton, Ont.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4919638646#Place/hamilton_ont> ; # Hamilton, Ont.)
    schema:name "FAST (Workshop) (4th : 2006 : Hamilton, Ont.)" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/4919638646#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/173602689> ; # Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/4919638646#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/173602689> ; # Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers
    schema:name "LNCS sublibrary. SL 4, Security and cryptology" ;
    .

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

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

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

<http://viaf.org/viaf/38052591> # Theo Dimitrakos
    a schema:Person ;
    schema:familyName "Dimitrakos" ;
    schema:givenName "Theo" ;
    schema:name "Theo Dimitrakos" ;
    .

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

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/173602689> ; # Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/173602689>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/173602689> ; # Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers
    schema:dateModified "2018-05-17" ;
    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.