(2005) Compositional Analysis of Contract Signing Protocols.
In: Proceedings of 18th IEEE Computer Security Foundations Workshop (CSFW).
Item Type: | Conference or Workshop Item (A Paper) (Paper) |
---|---|
Additional Information: | pub_id: 387 Bibtex: backes05compositionalb URL date: None |
Divisions: | Michael Backes (InfSec) |
Depositing User: | Sebastian Weisgerber |
Date Deposited: | 26 Jul 2017 10:29 |
Last Modified: | 28 Sep 2018 12:38 |
URI: | https://publications.cispa.saarland/id/eprint/242 |
Actions
Actions (login required)
View Item |