Analyzing an Electronic Cash Protocol Using Applied Pi Calculus.

Zhengqin Luo Xiaojuan Cai Jun Pang Yuxin Deng

Published in: ACNS (2007)

Keyphrases

electronic cash
context aware
lightweight