E-Books durchsuchen

Formal Aspects in Security and Trust [2006]

1
Voting Technologies and Trust
5
On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol
16
Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks
34
A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols
47
Eliminating Implicit Information Leaks by Transformational Typing and Unification
63
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations
81
Opacity Generalised to Transition Systems
96
Unifying Decidability Results on Protection Systems Using Simulations
112
Proof Obligations Preserving Compilation
127
A Logic for Analysing Subterfuge in Delegation Chains
142
Probable Innocence Revisited
158
Relative Trustworthiness
171
Secure Untrusted Binaries — Provably!
187
Normative Specification: A Tool for Trust and Security
203
Type-Based Distributed Access Control vs. Untyped Attackers
217
A Security Management Information Model Derivation Framework: From Goals to Configurations
235
On Anonymity with Identity Escrow
244
Towards Verification of Timed Non-repudiation Protocols
Feedback