Login / Signup

A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols.

Kun WeiJames Heather
Published in: Formal Aspects in Security and Trust (2006)
Keyphrases