Deciding Properties of Contract-Signing Protocols.

Detlef Khler, Ralf Ksters, Thomas Wilke

Browse the full STACS paper archive.