Invariant Generation Techniques in Cryptographic Protocol Analysis

doi:10.7523/j.issn.2095-6134.2002.1.013

›› 2002, Vol. 19 ›› Issue (1): 91-96.DOI: 10.7523/j.issn.2095-6134.2002.1.013

Previous Articles Next Articles

Invariant Generation Techniques in Cryptographic Protocol Analysis

FAN Hong¹, FENG DengGuo¹, GUO JinGeng²

1. State Key Laboratory of Information Security,Graduate School, Chinese Academy of Sciences,Beijing 100039;
2. Institute of Information Security, PLA University of Information Engineering,Zhengzhou 450004

Received:2001-09-19 Revised:2001-10-19 Online:2002-01-10

Abstract

Abstract:

Formal methods for cryptographic protocol analysis has drawn attention in recent years This leads to a development of the generation and specification techniques of invariant Invariantis defined what messages an intruder can and cannot learn and can be used to prove authentication as well as secrecy results, appear to be central This paper introducls an overview of invariant in different systems, analyzes their relationships to each other, develops a simple taxonomy, and discuses some of the implications for future research.

Key words: cryptographic protocols, formal analysis, invariant

CLC Number:

TP309

FAN Hong, FENG DengGuo, GUO JinGeng. Invariant Generation Techniques in Cryptographic Protocol Analysis[J]. , 2002, 19(1): 91-96.

[1]	LI Fei, YANG Fuzhong. The superpotential and geometric invariants of D-brane system on compact Calabi-Yau manifold [J]. Journal of University of Chinese Academy of Sciences, 2021, 38(1): 41-48.
[2]	JIANG Xiaotian, YANG Fuzhong. Parallel/coincident D-brane superpotentials, Ooguri-Vafa invariants, and Type II/F theory duality [J]. , 2019, 36(5): 590-597.
[3]	ZHI Junhai, CHEN Yufu. Constructing integrating factor to distinguish between the center and the focus [J]. , 2018, 35(5): 577-581.
[4]	GUAN Zengda, CHENG Li, ZHU Tingshao. Heterogeneous transfer learning based on translation invariant kernels [J]. , 2015, 32(1): 121-126.
[5]	WU Jie, CHEN Yu-Fu. Lifting algorithms for Gröbner basis computation of invariant ideals [J]. , 2009, 26(6): 731-744.
[6]	MO Yan, ZHANG Yu-Qing, LI Xue-Gan. The Running-Mode Analysis of SSL310 Basic Handshake Protocol [J]. , 2005, 22(4): 511-517.
[7]	LIU XiuYing, ZHANG YuQing, YANG Bo, XING Ge. Running-Mode Analysis of the Three-Party Cryptographic Protocol [J]. , 2004, 21(3): 380-385.
[8]	Liu Fei-long, Wang Yang-sheng. Moment Invariants Based Fragile Image Watermarking [J]. , 2004, 21(1): 101-107.
[9]	Feng Dengguo, Fan Hong. Survey on Theories and Methods of Formal Analyses for Security Protocols [J]. , 2003, 20(4): 389-406.
[10]	FAN Hong, FENG Deng-Guo. A Mixed Formal Analysis Technology of Security Protocols [J]. , 2002, 19(3): 240-245.
[11]	SUN Hai-Bo, LIN Dong-Dai. An Improvement of the TMN Protocol Based on Trapdoor Oneway Functions [J]. , 2002, 19(3): 254-262.

Invariant Generation Techniques in Cryptographic Protocol Analysis

PDF (PC)

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 11

Recommended Articles

Metrics

Comments