You have Guest access.
Log In
Pierpaolo Degano, Joshua Guttman and Fabio Martinelli
Front matter
1-19
Formal Certification of ElGamal Encryption A Gentle Introduction to CertiCrypt
20-34
Secure Information Flow as a Safety Property
35-49
Who Can Declassify?
50-66
Non-Interference for Deterministic Interactive Programs
67-81
Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels
82-96
Causality and Accountability
97-113
Dynamics, Robustness and Fragility of Trust
114-128
Trust within the Context of Organizations: A Formal Approach
129-142
Know What You Trust Analyzing and Designing Trust Policies with Scoll
143-161
Privacy-Friendly Electronic Traffic Pricing via Commits
162-176
A Formal Privacy Management Framework
177-191
Parameterised Anonymity
192-209
Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder
210-225
Petri Net Security Checker: Structural Non-interference at Work
226-241
Verifying Multi-party Authentication Using Rank Functions and PVS
242-256
The Append-Only Web Bulletin Board
257-271
Secure Broadcast Ambients
272-286
Extending Anticipation Games with Location, Penalty and Timeline
287-301
Do You Really Mean What You Actually Enforced? Edit Automata Revisited
302-315
Delegating Privileges over Finite Resources: A Quota Based Delegation Approach
316-330
Access Control and Information Flow in Transactional Memory
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info