Table of Contents for: Formal aspects in security and trust : 5

 Staff view

You must be logged in to Tag Records

Formal aspects in security and trust [electronic resource] : 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 : revised selected papers /

Pierpaolo Degano, Joshua Guttmann, Fabio Martinelli (eds.).

Book Cover
Names: Degano, Pierpaolo, | Guttmann, Joshua. | Martinelli, Fabio,
Published: Berlin ; Springer, c2009.
Series: LNCS sublibrary. SL 4, Security and cryptology
Lecture notes in computer science ; 5491.
Topics: Computer security - Congresses. | Formal methods (Computer science) - Congresses. | Trust - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Formal certification of EIGamal encryption -- Secure information flow as a safety property -- Who can declassify? -- Non-interference for deterministic interactive programs -- Information-theoretic modeling and analysis of interrupt-related covert channels -- Causality and accountability -- Dynamics, robustness and fragility of trust -- Trust within the context of organizations : A formal approach -- Know what you trust -- Privacy-friendly electronic traffic pricing via commits -- A formal privacy management framework -- Parameterised anonymity -- Automatic methods for analyzing non-repudiation protocols with an active intruder -- Petri net security checker : Structural non-interference at work -- Verifying multi-party authentication using rank functions and PVS -- The append-only web bulletin board -- Secure broadcast ambients -- Extending anticipation games with location, penalty and timeline -- Do you really mean what you actually enforced? -- Delegating privileges over finite resources : A quota based delegation approach -- Access control and information flow in transactional memory.

Table of Contents for: Formal aspects in security and trust : 5