Abstract | ||
---|---|---|
We present an application of partial evaluationto performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEPA model in order to remove uses of the cooperation and hiding operators and compile an arbitrary sub-model into a single sequential component. This transformation is applied to PEPA models which are not in the correct form for the application of the fluid-flow analysis for PEPA [2]. The result of the transformation is a PEPA model which is amenable to fluid-flow analysis but which is strongly equivalent[1] to the input PEPA model and so, by an application of Hillston's theorem, performance results computed from one model are valid for the other. We apply the method to a Markovian model of a key distribution centre used to facilitate secure distribution of cryptographic session keys between remote principals communicating over an insecure network. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-87412-6_2 | EPEW |
Keywords | DocType | Volume |
arbitrary sub-model,key distribution centre,performance result,pepa models,pepa stochastic process algebra,pepa model,fluid-flow analysis,markovian model,input pepa model,secure distribution,partial evaluation,partial evaluationto performance model | Conference | 5261 |
ISSN | Citations | PageRank |
0302-9743 | 7 | 0.59 |
References | Authors | |
11 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Allan Clark | 1 | 259 | 13.74 |
Adam Duguid | 2 | 99 | 6.43 |
Stephen Gilmore | 3 | 7 | 0.59 |
mirco tribastone | 4 | 518 | 43.87 |