The Design and Implementation of Data Independence in the CSP Model of Security Protocol-Reference-Cited by-同舟云学术

The Design and Implementation of Data Independence in the CSP Model of Security Protocol

Published:2014-04 Issue: Volume:915-916 Page:1386-1392
ISSN:1662-8985
Container-title:Advanced Materials Research
language:
Short-container-title:AMR

Author:

An Jing¹,Zhang Lei¹,You Chun Lan¹

Affiliation:

1. Logistics Academy

Abstract

The CSP method has been extremely effective in checking for, and finding, attacks on security protocol. On the other hand, it has been limited to showing that a given small instance, usually restricted by the finiteness of some set of resources, is free of attacks. In order to resolve this problem, the data independence has been developed by Roscoe. This paper first introduce the new process to expand the CSP model on the base of data independence, and present the whole CSP model of Yahalom and its formalization description. At last, the checking is accomplished by writing in script language CSPM.

Publisher

Trans Tech Publications, Ltd.

Subject

General Engineering

Link

https://www.scientific.net/AMR.915-916.1386.pdf

Reference14 articles.

1. A. W. Roscoe. Proving security protocols with model checkers by data independence techniques. In 11th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, (1998).

2. R .S. Lazić. A semantic study of data-independence with applications to the mechanical verification of concurrent systems. D. Phil. Thesis, University of Oxford, (1999).

3. Failures-Divergence Refinement—FDR2 User Manual. Formal Systems（Europe）Ltd〈http: /www. fsel. com/〉(2003).

4. R .S. Lazić and A. W. Roscoe, Verifying determinism of data- independence systems with labellings, arrays and constants, Submitted for publication, (1998).

5. C. Zhang, L.Q. Qian, Y.F. Wang, research of automatic selection of test input data based on extended finite state machine, Journal of Computers, 2003, Vol10.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Philosophers May Dine - Definitively!;Lecture Notes in Computer Science;2020