Login / Signup
A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol.
Xiaojuan Cai
Yuxin Deng
Published in:
ISCSCT (2) (2008)
Keyphrases
</>
lightweight
distributed systems
third party