Analysis and Optimization of Delegation-based Sequenced Packet Exchange (SPX) Protocol: A Kailar Logic Approach

Accountability within electronic commerce protocols has tremendous significance, especially those that require answerability for the actions taken by participants. In this study, the authors evaluate the delegation of accountability based on the Sequenced Packet Exchange (SPX) protocol. The study emphasizes the concept of provability as a benchmark to formalize accountability. Moreover, this paper proposed a new framework that enables principals to delegate individual rights to other principals and how the delegator's accountability is handed over or retained, which provides the crucial functionality of tracing how accountability is distributed among principals within a system. The study provides a novel solution to accountability challenges and analysis of protocols, such as introducing novel conditions for distributing essential credentials among the grantor and the grantee and analyzing delegation-based protocols. The approach adopted will help prevent potential compromises of the integrity of online transactions. By extension, it will also serve as a best practice solution for settling legal disputes among principals.

@article{Jaw2021,
  title     = {Analysis and Optimization of Delegation-based Sequenced Packet Exchange (SPX) Protocol: A Kailar Logic Approach},
  journal   = {International Journal of Advanced Computer Science and Applications},
  volume    = {12},
  number    = {8},
  year      = {2021},
  publisher = {The Science and Information Organization},
  author    = {Ebrima Jaw and Mbemba Hydara and Wang Xue Ming},
  doi       = {10.14569/IJACSA.2021.0120863},
  url       = {https://doi.org/10.14569/IJACSA.2021.0120863}
}