Secure Transaction Protocol Analysis Lecture Notes in Computer Science2008

by Qingfeng Chen