Verification techniques for policy based systems

Erisa Karafili, Stephen Pipes, Emil C. Lupu
<span title="">2017</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/erx6l72aivetjct3ex7ervbqoq" style="color: black;">2017 IEEE SmartWorld, Ubiquitous Intelligence &amp; Computing, Advanced &amp; Trusted Computed, Scalable Computing &amp; Communications, Cloud &amp; Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI)</a> </i> &nbsp;
Verification techniques are applied to policy based systems to ensure design correctness and to aid in the discovery of errors at an early stage of the development life cycle. A primary goal of policy verification is to evaluate the policy's validity. Other analyses on policy based systems include the identification of conflicting policies and policy efficiency evaluation and improvement. In this work, we present a discussion and classification of recent research on verification techniques for
more &raquo; ... olicy based systems. We analyse several techniques and identify popular supporting verification tools. An evaluation of the benefits and drawbacks of the existing policy analyses is made. Some of the common identified problems were the significant need of computational power, the limitation of the techniques to particular policy model, which restrict their extension to other policy models and the lack of efficient conflicts resolution methods. We use the evaluation results for discussing the further challenges and future research directions that will be faced by policy verification techniques. In particular, we discuss specific requirements concerning verification techniques for coalition policies systems and autonomous decision making.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/uic-atc.2017.8397415">doi:10.1109/uic-atc.2017.8397415</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/uic/KarafiliPL17.html">dblp:conf/uic/KarafiliPL17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l7uv7ct6djf5vapb7cyq73zo5i">fatcat:l7uv7ct6djf5vapb7cyq73zo5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200507175055/https://spiral.imperial.ac.uk:8443/bitstream/10044/1/48243/4/Verification%20Techniques%20for%20Policy%20based%20Systems.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/73/31/7331f1fa2a76b47b9c189906c219b9142222b981.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/uic-atc.2017.8397415"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>