MPG.eBooks - Table of Contents: Formal Aspects in Security and Trust

Read Now

Bibliographic Details
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 2007, 2007
Edition:	1st ed. 2007
Series:	Security and Cryptology
Subjects:	Computer Communication Networks Computers And Society Operating Systems Operating Systems (computers) Cryptography Information Storage And Retrieval Electronic Data Processing / Management Information Storage And Retrieval Systems Computer Networks Data Encryption (computer Science) Cryptology It Operations Computers And Civilization
Online Access:	https://doi.org/10.1007/978-3-540-75227-1?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

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