Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Formal Aspects in Security and...
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
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.
Holdings
Description
Table of Contents
Similar Items
Staff View
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
Formal Aspects in Security and Trust Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
Published: (2006)
Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
Published: (2010)
Formal Aspects of Security and Trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Published: (2011)
Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers
Published: (2009)
Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Published: (2012)