Formal Aspects in Security and Trust Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers / edited by Theo Dimitrakos, Fabio Martinelli, Peter Y A Ryan, Steve Schneider.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Dimitrakos, Theo (Editor), Martinelli, Fabio (Editor), Ryan, Peter Y A. (Editor), Schneider, Steve (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:	1st ed. 2007.
Series:	Security and Cryptology ; 4691 Springer eBook Collection.
Subjects:	Computer communication systems. Data encryption (Computer science). Operating systems (Computers). Computers and civilization. Management information systems. Computer science. Information storage and retrieval. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of 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.

Similar Items