Filters








468 Hits in 2.5 sec

Enforcing Robust Declassification and Qualified Robustness

Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic, Riccardo Focardi
<span title="2006-04-20">2006</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;
It describes a simple way to provably enforce this robustness property through a type-based compile-time program analysis.  ...  This paper shows that a robustness property can be used to characterize programs in which declassification mechanisms cannot be controlled by attackers to release more information than intended.  ...  However, we anticipate no major difficulties in adapting the robustness model and the security type system to enforce robust declassification for termination-sensitive or timingsensitive attacks.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2006-14203">doi:10.3233/jcs-2006-14203</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tnahsmwtnfb7tfwx5g2aqfg6q4">fatcat:tnahsmwtnfb7tfwx5g2aqfg6q4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705114130/http://www.cse.chalmers.se/~andrei/msz-jcs.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/72/30/7230f80b75c774b878c70de2290ceea5d624d353.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2006-14203"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Enforcing robust declassification

A.C. Myers, A. Sabelfeld, S. Zdancewic
<i title="IEEE"> Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. </i> &nbsp;
It describes a simple way to provably enforce this robustness property through a type-based compile-time program analysis.  ...  It describes a simple way to provably enforce this robustness property through a type-based compile-time program analysis.  ...  However, we anticipate no major difficulties in adapting the robustness model and the security type system to enforce robust declassification for termination-sensitive attacks.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csfw.2004.1310740">doi:10.1109/csfw.2004.1310740</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wzoned4gbfdsvh5b7ybirehky4">fatcat:wzoned4gbfdsvh5b7ybirehky4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720002940/https://repository.upenn.edu/cgi/viewcontent.cgi?article=1053&amp;context=cis_papers" 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/e4/d3/e4d3f24e8cd619e3d517ccbf8b3109a0b80ed27f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csfw.2004.1310740"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

It's My Privilege: Controlling Downgrading in DC-Labels [chapter]

Lucas Waye, Pablo Buiras, Dan King, Stephen Chong, Alejandro Russo
<span title="">2015</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We extend DC-labels with the novel notions of bounded privileges and robust privileges. Bounded privileges specify and enforce upper and lower bounds on the labels of data that may be downgraded.  ...  Robust privileges can be used only in downgrading operations that are robust, i.e., the code exercising privileges cannot be abused to release or certify more information than intended.  ...  [16] enforce robust declassification with a security type system [19, 24] , and introduce qualified robustness, which extends the concept to reason about endorsement.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-24858-5_13">doi:10.1007/978-3-319-24858-5_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3elaa6lgfnbcpgjg4rmtzhtq4y">fatcat:3elaa6lgfnbcpgjg4rmtzhtq4y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922051147/https://dash.harvard.edu/bitstream/handle/1/27030826/stm2015-my-privilege.pdf?sequence=1" 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/68/9f686e7cef8468b7c9359e33919edad9aa2a3545.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-24858-5_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Nonmalleable Information Flow Control

Ethan Cecchetti, Andrew C. Myers, Owen Arden
<span title="">2017</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rau5643b7ncwvh74y6p64hntle" style="color: black;">Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security - CCS &#39;17</a> </i> &nbsp;
robust declassification and transparent endorsement.  ...  While previous work on robust declassification prevents adversaries from exploiting the downgrading of confidentiality, our key insight is transparent endorsement, a mechanism for downgrading integrity  ...  The original work on FLAM enforces robust declassification using the voice operator ∇.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3133956.3134054">doi:10.1145/3133956.3134054</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ccs/CecchettiMA17.html">dblp:conf/ccs/CecchettiMA17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/m6argfqthfcxdpjfkvnrnqqeii">fatcat:m6argfqthfcxdpjfkvnrnqqeii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721193213/https://users.soe.ucsc.edu/~owen/publications/pdfs/nmifc_ccs17.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/13/d1/13d1da7777ac8908f1eed5c8f6fdb019f241104a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3133956.3134054"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Nonmalleable Information Flow: Technical Report [article]

Ethan Cecchetti and Andrew C. Myers and Owen Arden
<span title="2017-08-31">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
robust declassification and transparent endorsement.  ...  While previous work on robust declassification prevents adversaries from exploiting the downgrading of confidentiality, our key insight is transparent endorsement, a mechanism for downgrading integrity  ...  The original work on FLAM enforces robust declassification using the voice operator ∇.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1708.08596v2">arXiv:1708.08596v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5ycmxwn2rvfylcelme2brkbulq">fatcat:5ycmxwn2rvfylcelme2brkbulq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200906072921/https://arxiv.org/pdf/1708.08596v2.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/ee/f5/eef5e9b33180258831d64fd9c676f3aaf1d256b1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1708.08596v2" 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>

Declassification: Dimensions and principles

Andrei Sabelfeld, David Sands, J.D. Guttman
<span title="2009-10-12">2009</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;
With a general declassification framework as a long-term goal, we identify some prudent principles of declassification.  ...  Occlusion is prevented in robust declassification [56] because declassification annotations in code may not affect robustness (and hence all declassification is considered intended as long as the attacker  ...  While a comprehensive treatment of declassification policy enforcement is outside the scope of this paper, we briefly highlight some challenges for enforcing policies along each of the dimensions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jcs-2009-0352">doi:10.3233/jcs-2009-0352</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c6ngeq6bbrgnvfdc6r3jjqz77a">fatcat:c6ngeq6bbrgnvfdc6r3jjqz77a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130516211338/http://www.cse.chalmers.se/%7Eandrei/sabelfeld-sands-jcs07.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/34/98/349842108aa31fdebcd01b58924ade3f125d3c6f.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-0352"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Type System for Robust Declassification

Steve Zdancewic
<span title="">2003</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
This paper motivates robust declassification and shows that a simple change to a security type system can enforce it.  ...  when a program satisfies the robust declassification condition.  ...  Acknowledgement Andrew Myers and Andrei Sabelfeld provided insightful observations and engaging discussion in our quest to understand declassification.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(03)50014-7">doi:10.1016/s1571-0661(03)50014-7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z6htmmu6orh6jgc3yg5ic2ajne">fatcat:z6htmmu6orh6jgc3yg5ic2ajne</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190311051930/https://core.ac.uk/download/pdf/82661302.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/3b/ca/3bca47a5870bd4f8698ae9eb2d36417b1905a7ea.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(03)50014-7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

A Semantic Framework for Declassification and Endorsement [chapter]

Aslan Askarov, Andrew Myers
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The framework is flexible enough to recover and to improve on the previously introduced notions of robustness and qualified robustness.  ...  Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications.  ...  The prior work also develops type systems for enforcing robust declassification, which are implemented as part of Jif [15] . However, the security conditions for robustness are not satisfactory.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11957-6_5">doi:10.1007/978-3-642-11957-6_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nd72zgaapnflbie4fiw2qgee2u">fatcat:nd72zgaapnflbie4fiw2qgee2u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401054326/http://www.cs.cornell.edu/andru/papers/robknowledge.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/eb/b8/ebb82edffa6df7ef25b281ea4a5145dc31597e6f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11957-6_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Multi-run Security [chapter]

Arnar Birgisson, Andrei Sabelfeld
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Inspired by previous work on robustness, the key ingredient of our type-based enforcement for multi-run security is preventing the dangerous combination of attacker-controlled data and secret data from  ...  While the former readily scales up to multiple runs, its enforcement is typically over-restrictive.  ...  As we have foreshadowed earlier, we are able to cleanly reuse the robust declassification enforcement technique.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-23822-2_21">doi:10.1007/978-3-642-23822-2_21</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b56ogjsoozcfvk53yby4zvhk44">fatcat:b56ogjsoozcfvk53yby4zvhk44</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705114053/http://www.cse.chalmers.se/~andrei/esorics11.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/6f/b5/6fb56f7326df28cfad463fce54061ac6413797c2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-23822-2_21"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Attacker Control and Impact for Confidentiality and Integrity

Aslan Askarov, Andrew Myers, Michael Hicks
<span title="2011-09-26">2011</span> <i title="Logical Methods in Computer Science e.V."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/c67srop7pbe3nciquoxzy3d6pm" style="color: black;">Logical Methods in Computer Science</a> </i> &nbsp;
The framework is flexible enough to recover and to improve on the previously introduced notions of robustness and qualified robustness.  ...  Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications.  ...  Enforcement We now explore how to enforce robustness using a security type system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2168/lmcs-7(3:17)2011">doi:10.2168/lmcs-7(3:17)2011</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ondjnwnxffdkjad5d6rvinymsa">fatcat:ondjnwnxffdkjad5d6rvinymsa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720113459/https://lmcs.episciences.org/987/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/40/2b/402bdf020757cd0049af2bf9da194461b3f40b8d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2168/lmcs-7(3:17)2011"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

A Model for Delimited Information Release [chapter]

Andrei Sabelfeld, Andrew C. Myers
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In addition, a security type system is given that straightforwardly and provably enforces delimited release.  ...  In this respect, many security type systems enforcing noninterference are impractical. On the other side of the spectrum are type systems designed to accommodate some information leakage.  ...  Zdancewic has proposed a type system [49] intended to enforce robust declassification. Recently, Myers et al.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-37621-7_9">doi:10.1007/978-3-540-37621-7_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sr33oc572ncu3f4zsjewml6cim">fatcat:sr33oc572ncu3f4zsjewml6cim</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050208085503/http://www.cs.cornell.edu:80/andru/papers/isss03.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/34/57/3457738844208e1b4aeb2f1a0971ec39216e3000.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-37621-7_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Who Can Declassify? [chapter]

Alexander Lux, Heiko Mantel
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Our contributions include a formal security condition and a sound approach to statically enforcing this condition.  ...  The aim of our project is to provide adequate control for declassification in language-based security.  ...  Different to WHERE&WHO, robust declassification does not differentiate which channels may influence which declassifications.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-01465-9_3">doi:10.1007/978-3-642-01465-9_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ztw3fobepvardojqbkur2pe6k4">fatcat:ztw3fobepvardojqbkur2pe6k4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401103138/http://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2009/2008FAST-LuxMantel-web-postproceedings.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/57/4e/574e0d7a96357d9e3ad86bc09eaa659dfe110a86.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-01465-9_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Quantitative Robust Declassification

Hao Zhu, Yi Zhuang, Xiang Chen
<span title="2014-07-01">2014</span> <i title="Deanship of Scientific Research"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/agc3mek4qngbdaeke6vf5iawfy" style="color: black;">Applied Mathematics &amp; Information Sciences</a> </i> &nbsp;
We show our definition is equivalent to robust declassification when the value of robustness rate is equal to 1.  ...  As a step in this direction, we relax restrictiveness of robustness of declassification from the quantitative aspect, and propose a definition of robustness rate of declassification, based on Shannon's  ...  Based on this idea, we propose a definition of robustness rate of declassification and present the enforcement mechanism of model checking. The rest of the paper is organized as follows.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12785/amis/080464">doi:10.12785/amis/080464</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ngcjidajfbgkxk6ubqph4ihgze">fatcat:ngcjidajfbgkxk6ubqph4ihgze</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706084054/http://www.naturalspublishing.com/files/published/55b76cm586d5r4.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/6b/10/6b10845a7eb79eb4efd21e74a7e0dd8e663bf4c0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12785/amis/080464"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

On the Rôle of Abstract Non-interference in Language-Based Security [chapter]

Isabella Mastroeni
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
declassification, delimited release and relaxed non-interference.  ...  we deepen the understanding of abstract non-interference by comparing it, by means of examples, with some the most interesting approaches to the weakening of non-interference, such as the PER model, robust  ...  This notion is then better formalized in [19] , where also a type system is provided for enforcing robust declassification.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11575467_27">doi:10.1007/11575467_27</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5d67ahnsdrg6dniddmgv3fmwti">fatcat:5d67ahnsdrg6dniddmgv3fmwti</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130514073149/http://profs.sci.univr.it/~mastroen/download/aplas05.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/d5/90/d5902328431c4fdac41e2cde9365129b85a4e64a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11575467_27"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Security policies for downgrading

Stephen Chong, Andrew C. Myers
<span title="">2004</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rau5643b7ncwvh74y6p64hntle" style="color: black;">Proceedings of the 11th ACM conference on Computer and communications security - CCS &#39;04</a> </i> &nbsp;
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release (i.e., declassification  ...  These policies are connected to a semantic security condition that generalizes noninterference, and the type system is shown to enforce this security condition.  ...  Acknowledgments Thanks to Andrei Sabelfeld and Steve Zdancewic for suggestions about declassification policies, and Michael Clarkson, Nate Nystrom, Riccardo Pucella, Lantian Zheng, and the anonymous reviewers  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1030083.1030110">doi:10.1145/1030083.1030110</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ccs/ChongM04.html">dblp:conf/ccs/ChongM04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xtnq3aqow5azfcdpz2bx25sizm">fatcat:xtnq3aqow5azfcdpz2bx25sizm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100716083648/http://people.seas.harvard.edu/~chong/pubs/ccs04.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/8b/2c/8b2c3cb5a145db1eed2578dc42319453e4f0c77a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1030083.1030110"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 468 results