A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://ijns.femto.com.tw/contents/ijns-v7-n3/ijns-2008-v7-n3-p388-396.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
IEEE SoutheastCon 2008
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<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>
more »... 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.
<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>