Login / Signup

Towards Verification of Timed Non-repudiation Protocols.

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