Filters








40 Hits in 1.9 sec

A logical reconstruction of SPKI [article]

Joseph Y. Halpern, Ron van der Meyden
<span title="2002-08-19">2002</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Here we show how our earlier approach can be extended to deal with a number of key features of SPKI, including revocation, expiry dates, and tuple reduction.  ...  We previously introduced a Logic of Local Name Containment that has a clear semantics and was shown to completely characterize SDSI name resolution.  ...  Acknowledgments: We thank Jon Howell and the reviewers of this paper for their useful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0208028v1">arXiv:cs/0208028v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h3o2rr7kffcjzflib5fkomwoym">fatcat:h3o2rr7kffcjzflib5fkomwoym</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171008201804/https://core.ac.uk/download/pdf/2418599.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/49/0e/490ee1c3a37ccef1a27d4a060880bbda18744fc5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0208028v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

A logical reconstruction of SPKI

J.Y. Halpern, R. van der Meyden
<i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kea5jpvemrdmvbwvgh5jn6gog4" style="color: black;">Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001.</a> </i> &nbsp;
Here we show how our earlier approach can be extended to deal with a number of key features of SPKI, including revocation, expiry dates, and tuple reduction.  ...  We previously introduced a Logic of Local Name Containment that has a clear semantics and was shown to completely characterize SDSI name resolution.  ...  Acknowledgments: We thank Jon Howell and the reviewers of this paper for their useful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csfw.2001.930136">doi:10.1109/csfw.2001.930136</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/csfw/HalpernM01.html">dblp:conf/csfw/HalpernM01</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kwwttud7tjagxd7hvgdohgkrm4">fatcat:kwwttud7tjagxd7hvgdohgkrm4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050723074623/http://www.cse.unsw.edu.au/%7Emeyden/research/spkij.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/80/b6/80b66d9b12d3c8e87dea767594f1d72bf77dcab1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csfw.2001.930136"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Guest editor's preface

Steve Schneider
<span title="2003-10-01">2003</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/spxf4rshtfhgvoxv3apocfge6m" style="color: black;">Journal of Computer Security</a> </i> &nbsp;
Halpern and van der Meyden give semantics to the public key infrastructure standard SPKI in their paper "A logical reconstruction of SPKI".  ...  They extend their earlier work on a Logic of Local Name Containment to a (monotonic) logic which deals with the SPKI features of certificate expiry and revocation.  ...  The overall result of this paper is a compositional logic enabling natural proofs of protocol correctness in terms of the guarantees available at each stage of a protocol's execution.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2003-11401">doi:10.3233/jcs-2003-11401</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dh2horqk6ffmjlktuelkl5rjqy">fatcat:dh2horqk6ffmjlktuelkl5rjqy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171026000814/https://content.iospress.com/download/journal-of-computer-security/jcs190?id=journal-of-computer-security%2Fjcs190" 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/4d/32/4d3264f0bc2c9fe6dc98624f1a3096166d08ed35.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2003-11401"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Understanding SPKI/SDSI using first-order logic

Ninghui Li, John C. Mitchell
<span title="2005-06-08">2005</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pmp3fe6mtncjnmxpkeavdxh6sm" style="color: black;">International Journal of Information Security</a> </i> &nbsp;
We also provide a FOL semantics for SPKI/SDSI and use it to analyze the design of SPKI/SDSI. This reveals some problems.  ...  We provide a first-order logic (FOL) semantics for SDSI, and show that it has several advantages over previous semantics.  ...  A Proofs Proposition 2 Given a set P of policy statements, if Th[P] |= m(K, A, K 1 ), then RS(P) K A  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10207-005-0073-0">doi:10.1007/s10207-005-0073-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nk4zylxd4jcujnctmkvvdd3ynq">fatcat:nk4zylxd4jcujnctmkvvdd3ynq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808213506/http://theory.stanford.edu/~ninghui/papers/spkisdsi_csfw03.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/44/ac/44aca78d93e6ef23bfde0f3e3bd57f03149643db.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10207-005-0073-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A logical reconstruction of SPKI1

Joseph Y. Halpern, Ron van der Meyden
<span title="2003-10-01">2003</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/spxf4rshtfhgvoxv3apocfge6m" style="color: black;">Journal of Computer Security</a> </i> &nbsp;
Here we show how our earlier approach can be extended to deal with a number of key features of SPKI, including revocation, expiry dates, and tuple reduction.  ...  We previously introduced a Logic of Local Name Containment that has a clear semantics and was shown to completely characterize SDSI name resolution.  ...  Acknowledgments: We thank Jon Howell and the reviewers of this paper for their useful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2003-11405">doi:10.3233/jcs-2003-11405</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4x3zrkqcffbnzlzaze7ysv6opi">fatcat:4x3zrkqcffbnzlzaze7ysv6opi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050723074623/http://www.cse.unsw.edu.au/%7Emeyden/research/spkij.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/80/b6/80b66d9b12d3c8e87dea767594f1d72bf77dcab1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2003-11405"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Author Index Volume 11 (2003)

<span title="2003-10-01">2003</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/spxf4rshtfhgvoxv3apocfge6m" style="color: black;">Journal of Computer Security</a> </i> &nbsp;
Shenoi, Programmable access control (3) 331 -351 Halpern, J.Y. and R. van der Meyden, A logical reconstruction of SPKI (4) 581 -613 Heather, J., G. Lowe and S.  ...  Pavlovic, A compositional logic for proving security properties of protocols J., M. Papa and S.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2003-11408">doi:10.3233/jcs-2003-11408</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4qadm7yeyfaplkpycyfr7zvbkq">fatcat:4qadm7yeyfaplkpycyfr7zvbkq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720040248/https://content.iospress.com/download/journal-of-computer-security/jcs11ai?id=journal-of-computer-security%2Fjcs11ai" 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/0b/ea/0beaa416b946152b11f3faf3964198e417faf2be.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2003-11408"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Model checking SPKI/SDSI*

S. Jha, T. Reps, S. Schneider
<span title="2004-05-01">2004</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/spxf4rshtfhgvoxv3apocfge6m" style="color: black;">Journal of Computer Security</a> </i> &nbsp;
We show that the SPKI/SDSI-to-PDS connection provides a framework for formalizing a variety of certificate-analysis problems.  ...  In this paper, we establish a connection between SPKI/SDSI and a formalism known as pushdown systems (PDSs).  ...  Acknowledgements We are grateful to Stefan Schwoon for the discussions we had with him about the subject of the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2004-123-402">doi:10.3233/jcs-2004-123-402</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b54idxcny5cfpdt4atrvsjkgpi">fatcat:b54idxcny5cfpdt4atrvsjkgpi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050404042848/http://www.cs.wisc.edu:80/wpis/papers/JCS04.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/a1/27/a12729c3e44bd5afe5a04549472a6bffa374be7f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2004-123-402"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Specifying distributed trust management in LolliMon

Jeff Polakow, Christian Skalka
<span title="">2006</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the 2006 workshop on Programming languages and analysis for security - PLAS &#39;06</a> </i> &nbsp;
We propose the monadic linear logic programming language Lol-liMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework.  ...  The uniform LolliMon specification of authorization and certificate chain discovery eases formal reasoning about the system, and scales to a rich collection of trust management features.  ...  Similarly, Howell and Kotz [12] based a semantics for SPKI on the logic of authentication [1] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1134744.1134753">doi:10.1145/1134744.1134753</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/PolakowS06.html">dblp:conf/pldi/PolakowS06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ey6ktpqki5a3tonb5zyff7xt7a">fatcat:ey6ktpqki5a3tonb5zyff7xt7a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100710031827/http://www.cs.uvm.edu/~skalka/skalka-pubs/polakow-skalka-plas06.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/da/32/da329f9bbfe6613a509ac7892dcf83d085fa4b2d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1134744.1134753"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Trust but verify

Christian Skalka, X. Sean Wang
<span title="">2004</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/taqvbwppwna3pmohzh3mivwvbm" style="color: black;">Proceedings of the 2004 workshop on Secure web service - SWS &#39;04</a> </i> &nbsp;
In addition, there is a global set of trust transformation rules, each of which has an associated transformation condition.  ...  In particular, an end user (be it human or machine) may access a web service directly, or through a number of intermediaries, while these intermediaries may be formed on the y for a particular task.  ...  No formulations of either SDSI/SPKI, delegation logic, or RT currently comprise trust-but-verify mechanisms.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1111348.1111354">doi:10.1145/1111348.1111354</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sws/SkalkaW04.html">dblp:conf/sws/SkalkaW04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xk5vy54aa5g4dahgkbetwccuia">fatcat:xk5vy54aa5g4dahgkbetwccuia</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20081015151420/http://www.cs.uvm.edu/~xywang/publications/skalka-wang-sws04.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/d3/95/d39515964f3c3b12f520507dad5161512c1c6300.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1111348.1111354"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Reconstructing trust management

Ajay Chander, Drew Dean, John C. Mitchell, Joshua Guttman
<span title="2004-01-01">2004</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/spxf4rshtfhgvoxv3apocfge6m" style="color: black;">Journal of Computer Security</a> </i> &nbsp;
By separating naming and authorization primitives, we arrive at a compositional model and avoid concepts such as "speaks-for" that have led to anomalies in logical characterizations of other trust management  ...  The kernel is formally verified in PVS, allowing for the automatic generation of a verified implementation of a reference monitor.  ...  , and a logical representation of the access semantics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2004-12106">doi:10.3233/jcs-2004-12106</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lg4sz544hbgi7ec3rwjgx2yxui">fatcat:lg4sz544hbgi7ec3rwjgx2yxui</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100701101137/http://theory.stanford.edu/people/jcm/papers/chander-dean-jcs-04.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/9f/aa/9faa35bdad32dfad9b8f321677ec99a7d5edcee7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2004-12106"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Risk management for distributed authorization

Christian Skalka, X. Sean Wang, Peter Chapin
<span title="2007-06-22">2007</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/spxf4rshtfhgvoxv3apocfge6m" style="color: black;">Journal of Computer Security</a> </i> &nbsp;
In this paper, we introduce a trust management logic based on the system RT that incorporates formal risk assessment.  ...  We also develop an algorithm for automatic authorization in a distributed environment, that is directed by risk considerations. A variety of practical applications are discussed.  ...  Previous systems include BAN [10] and ABLP logic [1] , PolicyMaker [9] , KeyNote [8] , SDSI/SPKI [23] , [13] , and RT [20] , [21] , [19] , to name a few.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2007-15402">doi:10.3233/jcs-2007-15402</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4ffrrvprtzgt3f5jyqnpb6wx7a">fatcat:4ffrrvprtzgt3f5jyqnpb6wx7a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070824041409/http://www.cs.uvm.edu/~xywang/publications/skalka-wang-chapin-jcs06submitted.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/f0/f3/f0f3ecae5f2ce2624e09be4d74a8766648d9cc6f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2007-15402"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Static Program Analysis for Security [chapter]

K Gopinath
<span title="2007-12-07">2007</span> <i title="CRC Press"> The Compiler Design Handbook </i> &nbsp;
In this chapter, we discuss static analysis of the security of a system.  ...  Finally, we discuss static analysis of information flow expressed in a language that has been annotated with flow policies.  ...  A set of SPKI/SDSI name and authorization certificates defines a "pushdown system" [40] and one can "model check" many of the properties in polynomial time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/9781420043839.ch2">doi:10.1201/9781420043839.ch2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/254roq3ykrecfly3udo6o5xzva">fatcat:254roq3ykrecfly3udo6o5xzva</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110721161557/http://drona.csa.iisc.ernet.in/~gopi/docs/staticanalysis4security.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/79/7c/797c720a6a6b073e5d637675e7fc1ceb52a31d32.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/9781420043839.ch2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

SecPAL: Design and semantics of a decentralized authorization language

Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon, Atsuhiro Goto
<span title="2010-06-01">2010</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/spxf4rshtfhgvoxv3apocfge6m" style="color: black;">Journal of Computer Security</a> </i> &nbsp;
The time complexity of AuthAns AC for a fixed query is clearly polynomial in the computation time for Answers P , hence it is also polynomial in M and N.  ...  Martín Abadi, Blair Dillaway, Peter Sewell, and Vicky Weissman suggested improvements to a draft of this paper. We also thank Tuomas Aura, Michael Roe, and Sebastian Nanz for valuable discussions.  ...  such as XrML [19] , SPKI/SDSI [25] and Delegation Logic (DL) [37] . • Support for domain-specific constraints is also important, but existing solutions only consider a specific class of constraints  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2009-0364">doi:10.3233/jcs-2009-0364</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lt6veks5e5ebpm52h7pbpmgr4a">fatcat:lt6veks5e5ebpm52h7pbpmgr4a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130730093417/http://research.microsoft.com/pubs/70334/tr-2006-120.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/b7/45/b745181c78429774423266d13d95e89957c96051.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2009-0364"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Understanding SPKI/SDSI using first-order logic

Ninghui Li, J.C. Mitchell
<i title="IEEE Comput. Soc"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kea5jpvemrdmvbwvgh5jn6gog4" style="color: black;">16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.</a> </i> &nbsp;
We also provide a FOL semantics for SPKI/SDSI and use it to analyze the design of SPKI/SDSI. This reveals some problems.  ...  We provide a first-order logic (FOL) semantics for SDSI, and show that it has several advantages over previous semantics.  ...  A Proofs Proposition 2 Given a set P of policy statements, if Th[P] |= m(K, A, K 1 ), then RS(P) K A  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csfw.2003.1212707">doi:10.1109/csfw.2003.1212707</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/csfw/LiM03.html">dblp:conf/csfw/LiM03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mig47tscqjel5jintdsmlk3twq">fatcat:mig47tscqjel5jintdsmlk3twq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808213506/http://theory.stanford.edu/~ninghui/papers/spkisdsi_csfw03.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/44/ac/44aca78d93e6ef23bfde0f3e3bd57f03149643db.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csfw.2003.1212707"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Analysis of SPKI/SDSI certificates using model checking

S. Jha, T. Reps
<i title="IEEE Comput. Soc"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kea5jpvemrdmvbwvgh5jn6gog4" style="color: black;">Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15</a> </i> &nbsp;
We show that the SPKI/SDSI-to-PDS connection provides a framework for formalizing a variety of certificate-analysis problems.  ...  In this paper, we establish a connection between SPKI/SDSI and a formalism known as pushdown systems (PDSs).  ...  Compared to existing work, the SPKI/SDSI-to-PDS connection has the following advantages: • It is not necessary to invent a new logic. • It provides a semantic account of a number of aspects of SPKI/SDSI  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csfw.2002.1021812">doi:10.1109/csfw.2002.1021812</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/csfw/JhaR02.html">dblp:conf/csfw/JhaR02</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mmsb7i7zxjdmnjdixhvqf3w2mq">fatcat:mmsb7i7zxjdmnjdixhvqf3w2mq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100617064207/http://www.cs.wisc.edu/wisa/papers/csfw02/csfw02.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/c8/5c/c85caf0e5a53176bc2e9e90858b3b9eaa2b25a39.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csfw.2002.1021812"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 40 results