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