A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols

Technical Report PDF: 
Technical Report Number: 
2002.12
TitleA Game-Based Verification of Non-Repudiation and Fair Exchange Protocols
Publication TypeConference Paper
Year of Publication2002
AuthorsKremer, S, Raskin J-F
Conference NameJournal of Computer Security
PublisherSpringer-Verlag