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:   Book : EnglishView all editions and formats
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 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.).
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/255918686>
library:oclcnum"255918686"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/255918686>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:datePublished"2007"
schema:exampleOfWork<http://worldcat.org/entity/work/id/290244546>
schema:genre"Conference proceedings."
schema:genre"Conference proceedings"
schema:inLanguage"en"
schema:name"Formal aspects in security and trust : fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 ; revised selected papers"
schema:publisher
schema:url
schema:workExample
umbel:isLike<http://d-nb.info/985455632>

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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