article · 1994
Decomposition techniques for cryptographic protocol analysis
Cited by 2Abstract and details only
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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Cite this paper
Morton, Robart, & Tavares. (1994). Decomposition techniques for cryptographic protocol analysis. https://doi.org/10.1109/ccece.1994.405757
Morton, , et al. “Decomposition techniques for cryptographic protocol analysis.” vol. 1, 1994, pp. 336–339 vol.1, https://doi.org/10.1109/ccece.1994.405757.
Morton, Robart, and Tavares. 1994. “Decomposition techniques for cryptographic protocol analysis.” https://doi.org/10.1109/ccece.1994.405757.
Morton, Robart and Tavares (1994) ‘Decomposition techniques for cryptographic protocol analysis’. Available at: https://doi.org/10.1109/ccece.1994.405757.
@article{morton1994decomposition,
title = {{Decomposition techniques for cryptographic protocol analysis}},
author = {Morton and Robart and Tavares},
volume = {1},
pages = {336--339 vol.1},
year = {1994},
doi = {10.1109/ccece.1994.405757}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.