An attack-finding algorithm for security protocols

  title={An attack-finding algorithm for security protocols},
  author={Dongxi Liu and Xiaoyong Li and Yingcai Bai},
  journal={Journal of Computer Science and Technology},
This paper proposes an, automatic attack construction algorithm in order to find potential attacks on security protocols. It is based on a dynamic strand space model, which enhances the original strand space model by introducing active nodes on strands so as to characterize the dynamic procedure of protocol execution. With exact causal dependency relations between messages considered in the model, this algorithm can avoid state space explosion caused by asynchronous composition. In order to get… CONTINUE READING

From This Paper

Topics from this paper.
4 Citations
19 References
Similar Papers


Publications citing this paper.
Showing 1-4 of 4 extracted citations


Publications referenced by this paper.
Showing 1-10 of 19 references

Automatically detecting most vu[nerabilities in cryptographic protocols

  • S. Brackin
  • In the DARPA Information Survivability Conference…
  • 2000
1 Excerpt

Theory generation for security protocols [Dissertation

  • D. Kindred
  • Carnegie Mellon University,
  • 1999
1 Excerpt

Strand space pictures

  • J FThayer, J CHerzog, J D.Guttman
  • In Workshop on Formal Methods and Security…
  • 1998
3 Excerpts

Similar Papers

Loading similar papers…