Composition and integrity preservation of secure reactive systems (original) (raw)

Free PDF

Component Composition: Formal Specification and Verification of Cryptographic Properties Cover Page

Free PDF

Formal Methods and Cryptography Cover Page

Free PDF

Cryptographic Security of Reactive Systems Cover Page

Free PDF

Proof Techniques for Cryptographic Processes Cover Page

Free PDF

A General Composition Theorem for Secure Reactive Systems Cover Page

Free PDF

Cryptographically Sound Theorem Proving Cover Page

Free PDF

Authentication primitives for secure protocol specifications Cover Page

Free PDF

A Framework for the Sound Specification of Cryptographic Tasks Cover Page

Free PDF

On Symbolic Analysis of Cryptographic Protocols Cover Page

Specifying and Verifying Crypto-Protocols at the Design Level

2007

Abstract. The clear semantics of Abstract State Machines is tailored to the analysis of crypto-protocols in a realistic environment threatened by an active eavesdropper. The model is intermediate between the abstract approaches based on belief logics, and the lower level approaches based on traces of atomic actions. Properties are stated at the design level with little formal overhead, but reasoning about con dentiality is easily achieved.

Free PDF

Specifying and Verifying Crypto-Protocols at the Design Level Cover Page