Proceedings Article10.1109/CCECE.1994.405757
Decomposition techniques for cryptographic protocol analysis
4
TL;DR: Decomposition techniques are used to simplify the analysis of cryptographic protocols using coloured Petri nets to locate security flaws and weaknesses using the inherent modularity of the Petri net model.
read more
Abstract: In this paper, decomposition techniques are used to simplify the analysis of cryptographic protocols using coloured Petri nets to locate security flaws and weaknesses. These techniques exploit the inherent modularity of the Petri net model which is composed of distinct protocol entities, distinct protocol stages, and an explicit intruder model. The intruder model may embody a suite of threat characteristics, which can be used to formulate simple or complex attacks. The methodology is described in this paper and is applied to a one-way authentication protocol with two stages. >
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Patent
Document controlled workflow systems and methods
David G. Stork,Rob van Glabbeek +1 more
- 20 Sep 2001
TL;DR: In this paper, the author of a document can customize a document controlled workflow system by entering a control code into a document that triggers the implementation of operations customized to that particular document at a refinable place in the document workflow system.
81
Patent
Method and apparatus for permissions based active document workflow
David G. Stork,Rob van Glabbeek,Stephen R. Savitzky +2 more
- 18 Jan 2002
TL;DR: In this article, the author of the document can configure the information associated with a document that is used to determine if a workflow is to be modified, which enables a document author, in addition to the workflow designer, to control processing of a document in a workflow.
12
Security analysis of the TMN protocol by using Coloured Petri Nets: On-the-fly trace generation method and homomorphic property
Yongyuth Permpoontanalarp,Apichai Changkhanak +1 more
- 11 May 2011
TL;DR: The performance between the new Coloured Petri Net approach and a traditional method to analyze attacks in cryptographic protocols is compared and it is found that the new method is more efficient when the number of states and traces are large.
7
Security analysis of Micali's fair contract signing protocol by using Coloured Petri Nets : Multi-session case
Panupong Sornkhom,Yongyuth Permpoontanalarp +1 more
- 23 May 2009
TL;DR: A systematic method to analyze the security of Micali's ECS1 by using Coloured Petri Nets (CPN) is presented and it is found that two new attacks in the original protocol, five attacks in Bao's modified protocol and surprisingly one new attack in Baos improved protocol are found.
6
References
A logic of authentication
Michael Burrows,Martín Abadi,Roger M. Needham +2 more
- 01 Nov 1989
TL;DR: This paper describes the beliefs of trustworthy parties involved in authentication protocols and the evolution of these beliefs as a consequence of communication, and gives the results of the analysis of four published protocols.
A logic of authentication
TL;DR: This paper describes the beliefs of trustworthy parties involved in authentication protocols and the evolution of these beliefs as a consequence of communication, and gives the results of the analysis of four published protocols.
2.8K
Applying Formal Methods to the Analysis of a Key Management Protocol
TL;DR: A model of a class of protocols and possible attacks on those protocols as term rewriting systems are described and a software tool based on a narrowing algorithm that can be used in the analysis of such protocols is described.
188
Protocol failures in cryptosystems
J.H. Moore
- 01 May 1988
TL;DR: The author surveys a collection of protocols in which the level of security or authentication required by the system is actually attained, not because of a failure of the cryptoalgorithm used, but rather because of shortcomings in the design of the protocol.
142
A protocol modeling and verification approach based on a specification language and Petri nets
TL;DR: An approach for automated modeling and verification of communication protocols is presented, and a language that specifies the input/output behavior of protocol entities is introduced as the starting point of the approach; verification of the linguistic specifications is discussed.
46