Compositional Analysis of Contract Signing Protocols

Backes, Michael and Datta, Anupam and Derek, Ante and Mitchell, John C. and Turuani, Mathieu
(2006) Compositional Analysis of Contract Signing Protocols.
Theoretical Computer Science, 367 (1-2). pp. 33-56.

Full text not available from this repository.
Item Type: Article
Additional Information: pub_id: 374 Bibtex: backes06compositionalb URL date: None
Divisions: Michael Backes (InfSec)
Depositing User: Sebastian Weisgerber
Date Deposited: 26 Jul 2017 10:29
Last Modified: 27 Jul 2017 07:03
URI: https://publications.cispa.saarland/id/eprint/241

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.