Formal Analysis of Multi-Party Contract Signing

Technical Report PDF: 
Technical Report Number: 
2004.22
TitleFormal Analysis of Multi-Party Contract Signing
Publication TypeConference Paper
Year of Publication2004
AuthorsChadha, R, Kremer S, Scedrov A
Conference NameCSFW