Output details
11 - Computer Science and Informatics
Newcastle University
Return to search
Output 0 of 0 in the submission
Article title
Efficient solutions of a PEPA model of a key distribution centre
Type
D - Journal article
Title of journal
Performance Evaluation
Article number
-
Volume number
67
Issue number
8
First page of article
740
ISSN of journal
1872-745X
Year of publication
2010
Number of additional authors
1
Additional information
<13> This paper presents a significant case study investigating scalable performance analysis techniques from stochastic process algebra. A model of the classic Needham-Schroeder key exhange protocol is developed and a series of formal transformations are applied that allow different analysis techniques to be employed. This modelling approach is significant because there are very few existing studies concerning both performance and security and almost all previous work has been measurement based. The paper clearly shows the benefits of modelling security protocols for performance analysis.
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Systems
Citation count
5
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
