Proving secure properties of cryptographic protocols with knowledge based approach.

Xiaochun Cheng, Xiaoqi Ma, Maggie Xiaoyan Cheng, Scott C.-H. Huang

Browse the full IPCCC paper archive.