Probabilistic analysis of the ASW protocol using PRISM

Salekul Islam, Mohammad Abu Zaid
<span title="">2008</span> <i title="IEEE"> IEEE SoutheastCon 2008 </i> &nbsp;
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the aid of a trusted third party in case of a dispute. In this paper, the key security objectives of ASW protocol -fairness, effectiveness and timeliness -have been verified using a probabilistic model checking tool, PRISM. First, the security objectives of ASW protocol have been defined with probabilistic equations. The
more &raquo; ... les of the participants (i.e., the originator and the responder) and the trusted third party have been modeled in PRISM code. The security objectives of ASW protocol have been expressed using a temporal logic, PCTL. The PCTL expressions are analogous to the probabilistic equations that we have developed to define the security objectives. Next, the model is analyzed using these PCTL expressions, and different outputs have been observed. The outputs confirm the fairness of the ASW protocol. Moreover, the effectiveness and the timeliness of the protocol are also established. Hence, the key security properties of ASW protocol have been verified.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/secon.2008.4494277">doi:10.1109/secon.2008.4494277</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4wioyo7albfvfcetx7t6ssgv6a">fatcat:4wioyo7albfvfcetx7t6ssgv6a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808042416/http://ijns.femto.com.tw/contents/ijns-v7-n3/ijns-2008-v7-n3-p388-396.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/19/21/19219a2ef463c6af4e86e8220c6bf17724d5bde5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/secon.2008.4494277"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>