DocumentCode :
2249157
Title :
Probabilistic Applied Pi Calculus and Zero Knowledge
Author :
Zhu, Han ; Wu, Xiaohong ; Gu, Yonggen
Author_Institution :
Dept. of Comput. Sci., Shanghai Jiao Tong Univ., Shanghai
Volume :
1
fYear :
2008
fDate :
19-19 Dec. 2008
Firstpage :
526
Lastpage :
530
Abstract :
As zero-knowledge proof plays a more and more important role in modern cryptography, the need for formal analysis becomes more urgent. In this paper, we make use of formal methods to establish a zero-knowledge result. The formal model is probabilistic applied pi and the zero-knowledge proof is Hamiltonian cycle. By this example, our preliminary work shows how zero-knowledge can be modeled in formal models such as process calculi and how to establish a zero-knowledge proof by checking equivalence in the model.
Keywords :
cryptography; formal verification; pi calculus; probability; theorem proving; Hamiltonian cycle; cryptography; formal analysis; pi calculus; process calculi; zero-knowledge proof; Authentication; Calculus; Communication system security; Computer science; Context modeling; Cryptographic protocols; Cryptography; Educational institutions; Information management; Seminars; Hamiltonian Cycle; Zero Knowledge Proof; robabilistic Applied Pi;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Business and Information Management, 2008. ISBIM '08. International Seminar on
Conference_Location :
Wuhan
Print_ISBN :
978-0-7695-3560-9
Type :
conf
DOI :
10.1109/ISBIM.2008.260
Filename :
5117543
Link To Document :
بازگشت