IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal verification of communication protocol using type theory

ICCT 2003 - International Conference on Communication Technology

Author(s): Xingyuan Zhang ; Xiren Xie ; M. Munro ; M. Harman ; Lin Hu
Sponsor(s): China Inst. Commun. (CIC)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2003
Conference Location: Beijing, China, China
Conference Date: 9 April 2003
Volume: 2
Page Count: 9
ISBN (Paper): 7-5635-0686-1
DOI: 10.1109/ICCT.2003.1209831
Regular:

In this paper, an approach is proposed to verify communication protocol using the type theoretical proof assistant Coq. Compared with existing methods of protocol verification, this approach is... View More

Advertisement