@dblp

The Correctness of Crypto Transaction Sets.

. Security Protocols Workshop, volume 2133 of Lecture Notes in Computer Science, page 125-127. Springer, (2000)

Links and resources

Tags