Filters








20,768 Hits in 8.7 sec

Semantic Comparison of Security Policies: From Access Control Policies to Flow Properties

Mathieu Jaume
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/inod5dqjxfdj3bnjykkklcg7d4" style="color: black;">2012 IEEE Symposium on Security and Privacy Workshops</a> </i> &nbsp;
This paper introduces two generic mechanisms allowing to compare security policies from a semantical point of view.  ...  flow policies, thus characterizing flow properties which can be ensured by access control policies.  ...  From access control policies to flow properties We are now in position to complete the hierarchy of flow policies by considering the flow-based interpreted access control policies introduced in table I  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/spw.2012.33">doi:10.1109/spw.2012.33</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sp/Jaume12.html">dblp:conf/sp/Jaume12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/36fdspdn25bdhj26hvtkdwxdl4">fatcat:36fdspdn25bdhj26hvtkdwxdl4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170818035014/https://www.computer.org/csdl/proceedings/spw/2012/4740/00/06227685.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/32/4b/324be8069dace656d5b8f9e1c51c491529390ef3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/spw.2012.33"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Dynamic Access Control Policies: Specification and Verification

H. Janicke, A. Cau, F. Siewe, H. Zedan
<span title="2012-09-07">2012</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bf4qaipmsrghrjyxonrsmqevie" style="color: black;">Computer journal</a> </i> &nbsp;
Temporal constraints of history-based access control policies are difficult to express naturally in traditional policy languages.  ...  We propose a compositional formal framework for the specification and verification of temporal access control policies for security critical systems in which history-based policies and other temporal constraints  ...  ACKNOWLEDGEMENTS We would like to thank the anonymous reviewers for their supportive and insightful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/comjnl/bxs102">doi:10.1093/comjnl/bxs102</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ayd37tfuunbtxij6h6lbh56knq">fatcat:ayd37tfuunbtxij6h6lbh56knq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808030344/http://www.cse.dmu.ac.uk/~fsiewe/papers/helge_siewe_2012.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/9d/4e/9d4e8a52f744e8dccd13b3db245cc759552182bc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/comjnl/bxs102"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.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>

Policy algebras for access control

Duminda Wijesekera, Sushil Jajodia
<span title="">2001</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rau5643b7ncwvh74y6p64hntle" style="color: black;">Proceedings of the 8th ACM conference on Computer and Communications Security - CCS &#39;01</a> </i> &nbsp;
The fundamental problem addressed in this paper is to capture the algebra used in composing access control policies of collaborating organizations.  ...  Syntactic rules are provided to simplify policy expressions without knowing their semantics, thereby supporting algebraic manipulations of uninterpreted policies.  ...  COMPARISONS McLean suggested using the notion of algebraic (set theoretic) constructs for composition of access control and information flow policies [14, 15, 16] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/501983.501990">doi:10.1145/501983.501990</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ccs/WijesekeraJ01.html">dblp:conf/ccs/WijesekeraJ01</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fwr56iuelnh6zezqhzh7cz7tti">fatcat:fwr56iuelnh6zezqhzh7cz7tti</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190217210942/https://static.aminer.org/pdf/20170130/pdfs/ccs/2jo8i0uigc9bcnv5ql6rbrold73mhwtz.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/2c/12/2c126b11f35c6d9a2e82085854c12877050b28ac.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/501983.501990"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Formal Specification and Validation of Security Policies [chapter]

Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
<span title="">2012</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;
We define transformations over secured systems in order to perform validation of classical security properties.  ...  To model a secured system, the evolution of security information in the system is described by transitions triggered by authorization requests and the policy is given by a set of rules describing the way  ...  We consider now environment transformations that can be used to deal with information flow properties of access control policies.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-27901-0_12">doi:10.1007/978-3-642-27901-0_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a3kqgnki5fa7nht3clkpty2kpa">fatcat:a3kqgnki5fa7nht3clkpty2kpa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120515231727/http://hal.archives-ouvertes.fr/docs/00/56/78/40/PDF/FormalSpecificationandValidationofSecurityPolicies.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/fa/1d/fa1d4467a67d296c44e206aa5f7173f690238f53.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-27901-0_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Semantic Generation of Clouds Privacy Policies [chapter]

Hanene Boussi Rahmouni, Kamran Munir, Marco Casassa Mont, Tony Solomonides
<span title="">2015</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jyopc6cf5ze5vipjlm4aztcffi" style="color: black;">Communications in Computer and Information Science</a> </i> &nbsp;
Additionally we have used mapping templates to transform the Semantic Web access control policies into a de-facto and highly portable standard of access control notably XACML which is used in clouds security  ...  This includes both standard access control and security languages [7] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-25414-2_2">doi:10.1007/978-3-319-25414-2_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fhphhgcnpffc7k3kp5c43icfpa">fatcat:fhphhgcnpffc7k3kp5c43icfpa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181101130843/http://eprints.uwe.ac.uk/28482/7/CCIS%20Springer-Verlag%20Paper%20Hanene%20Boussi%20Rahmouni-new.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/d4/a1d4fb2479abbef03afa7ccb36b2283667b9dd8c.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-25414-2_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A security policy oracle

Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov
<span title="2011-06-04">2011</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
Even experienced developers struggle to implement security policies correctly.  ...  Our flow-and contextsensitive analysis takes as input an API, multiple implementations thereof, and the definitions of security checks and security-sensitive events.  ...  Acknowledgments Thanks to Andrew John Hughes for his generous help with verifying Classpath bugs and for feedback on the paper text; Sam Guyer for useful discussions about static analysis; and the anonymous  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1993316.1993539">doi:10.1145/1993316.1993539</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/57rls5e6v5e5vn2qddgou4mgl4">fatcat:57rls5e6v5e5vn2qddgou4mgl4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170724200757/http://www.cs.cornell.edu/~shmat/shmat_pldi11.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/5c/b1/5cb155bb79b05e934b01dbeddf7b21df3989f63c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1993316.1993539"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A security policy oracle

Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov
<span title="2012-08-06">2012</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
Even experienced developers struggle to implement security policies correctly.  ...  Our flow-and contextsensitive analysis takes as input an API, multiple implementations thereof, and the definitions of security checks and security-sensitive events.  ...  Acknowledgments Thanks to Andrew John Hughes for his generous help with verifying Classpath bugs and for feedback on the paper text; Sam Guyer for useful discussions about static analysis; and the anonymous  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2345156.1993539">doi:10.1145/2345156.1993539</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f52et4a7zjbn3lvmdnhjwtiuey">fatcat:f52et4a7zjbn3lvmdnhjwtiuey</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170724200757/http://www.cs.cornell.edu/~shmat/shmat_pldi11.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/5c/b1/5cb155bb79b05e934b01dbeddf7b21df3989f63c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2345156.1993539"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A security policy oracle

Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI &#39;11</a> </i> &nbsp;
Even experienced developers struggle to implement security policies correctly.  ...  Our flow-and contextsensitive analysis takes as input an API, multiple implementations thereof, and the definitions of security checks and security-sensitive events.  ...  Acknowledgments Thanks to Andrew John Hughes for his generous help with verifying Classpath bugs and for feedback on the paper text; Sam Guyer for useful discussions about static analysis; and the anonymous  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1993498.1993539">doi:10.1145/1993498.1993539</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/SrivastavaBMS11.html">dblp:conf/pldi/SrivastavaBMS11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v6mn2ea6cjf2pdspkwqcuvkqmi">fatcat:v6mn2ea6cjf2pdspkwqcuvkqmi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170724200757/http://www.cs.cornell.edu/~shmat/shmat_pldi11.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/5c/b1/5cb155bb79b05e934b01dbeddf7b21df3989f63c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1993498.1993539"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Gran: Model Checking Grsecurity RBAC Policies

Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Marco Squarcina
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kea5jpvemrdmvbwvgh5jn6gog4" style="color: black;">2012 IEEE 25th Computer Security Foundations Symposium</a> </i> &nbsp;
Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today.  ...  Given the growing complexity of policy languages and access control systems, verifying that such systems enforce the desired invariants is recognized as a security problem of crucial importance.  ...  We now build on our first analysis to specify a stronger property, inspired by the literature on information flow control [17] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csf.2012.29">doi:10.1109/csf.2012.29</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/csfw/BugliesiCFS12.html">dblp:conf/csfw/BugliesiCFS12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nsonkssr3nh4nbsk7rdmftpr7m">fatcat:nsonkssr3nh4nbsk7rdmftpr7m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706073753/http://www.dsi.unive.it/~michele/Papers/csf12.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/8d/448d9f9afaa0f82990b8a69d7cc99126617541d8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csf.2012.29"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Malachite: Firewall policy comparison

Dinesha Ranathunga, Matthew Roughan, Phil Kernick, Nick Falkner
<span title="">2016</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tb3rbzm3lfa5bionys37kd42py" style="color: black;">2016 IEEE Symposium on Computers and Communication (ISCC)</a> </i> &nbsp;
Firewalls are a crucial element of any modern day business; they protect data and resources in a communications network from unauthorised access.  ...  The semantic foundations we propose allow us to compare network-wide firewall policies and check if they are equivalent; or one is contained in the other in meaningful ways.  ...  ACKNOWLEDGMENT The authors would like to thank input and suggestions from Tim Griffin.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/iscc.2016.7543759">doi:10.1109/iscc.2016.7543759</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iscc/RanathungaRKF16.html">dblp:conf/iscc/RanathungaRKF16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/anung7jl2zhmvpkmqmptqt7mcq">fatcat:anung7jl2zhmvpkmqmptqt7mcq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170403031758/http://www.maths.adelaide.edu.au/matthew.roughan/Papers/ISCC2016.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/17/8f/178ff907ef6e964629d5c4fb2b4930bcd889d1e4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/iscc.2016.7543759"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

The Anatomy and Facets of Dynamic Policies [article]

Niklas Broberg and Bart van Delft and David Sands
<span title="2015-09-23">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Information flow policies are often dynamic; the security concerns of a program will typically change during execution to reflect security-relevant events.  ...  We introduce the concept of facets to illuminate subtleties in the semantics of policies, and closely examine the anatomy of policies and the expressiveness of policy specification mechanisms.  ...  Acknowledgments This paper benefited from the comments of Musard Balliu, Pablo Buiras, Owen Arden, Sebastian Hunt, Andrei Sabelfeld, and the anonymous reviewers.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1505.02021v3">arXiv:1505.02021v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c5ccwkuodjgvbhgsngxkayuaxi">fatcat:c5ccwkuodjgvbhgsngxkayuaxi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200912223426/https://arxiv.org/pdf/1505.02021v3.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/b9/94/b994d2d69da486d2f355d95e0195ef61ca8d6dfa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1505.02021v3" 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>

Toward a MAC policy framework [chapter]

Xiaolei Qian, Teresa F. Lunt
<span title="">1996</span> <i title="Springer US"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
We propose a formal policy framework of MAC policies in multilevel relational databases. We identify the important components of such policies and their desirable properties.  ...  Our framework could be used to capture and resolve MAC policy mismatches in the trusted interoperation of heterogeneous multilevel relational databases.  ...  Department of Defense Advanced Research Projects Agency and U.S. Air Force Rome Laboratory under contracts F30602-91-C-0092 and F30602-92-C-0140.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-34932-9_11">doi:10.1007/978-0-387-34932-9_11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/exkyeaxdyre5fmqpzihgromdku">fatcat:exkyeaxdyre5fmqpzihgromdku</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200326165330/https://link.springer.com/content/pdf/10.1007%2F978-0-387-34932-9_11.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/03/72/0372a76eeac74646b1a728d8e178fa9432f255e4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-34932-9_11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

ReasoNet: Inferring Network Policies Using Ontologies

Charalampos Rotsos, Arsham Farshad, Daniel King, David Hutchison, Qianru Zhou, Alasdair J. G. Gray, Cheng-Xiang Wang, Stephen McLaughlin
<span title="">2018</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wem7gsbe7rh5hdvk376bnrenl4" style="color: black;">2018 4th IEEE Conference on Network Softwarization and Workshops (NetSoft)</a> </i> &nbsp;
We demonstrate the ability of ReasoNet to automate state verification and cross-layer debugging, through the implementation of two popular control applications, a learning switch and a QoS policy engine  ...  Modern SDN control stacks consist of multiple abstraction and virtualization layers to enable flexibility in the development of new control features.  ...  We would also like to specially thank Dr Vatsala Nundloll for sharing her pearls of wisdom with us during the development of the ontology.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/netsoft.2018.8460050">doi:10.1109/netsoft.2018.8460050</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/netsoft/RotsosFKHZGWM18.html">dblp:conf/netsoft/RotsosFKHZGWM18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pls4urpm3jb6vaihfvlv5fglni">fatcat:pls4urpm3jb6vaihfvlv5fglni</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200508201405/https://eprints.lancs.ac.uk/id/eprint/124463/1/paper.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/1f/731fc0306de56137ee71ec4d5b963be2223892e3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/netsoft.2018.8460050"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Data base security: requirements, policies, and models

C. Wood, E. B. Fernandez, R. C. Summers
<span title="">1980</span> <i title="IBM"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kj3pclsbb5d3xpd5kqlzmvxa54" style="color: black;">IBM Systems Journal</a> </i> &nbsp;
In general it is not sufficient to control only the context of the immediate request if users are to be prevented from making cer- tain semantic deductions.  ...  As the flow of control during program execution proceeds from one subject to another, the access rules need to be modified dy- namically so that existing access rights of a subject can be copied or granted  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1147/sj.192.0229">doi:10.1147/sj.192.0229</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xxfr7qa4zfczbbwmqfancq5xwm">fatcat:xxfr7qa4zfczbbwmqfancq5xwm</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_ibm-systems-journal_1980_19_2/page/229" title="read fulltext microfilm" 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> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_ibm-systems-journal_1980_19_2/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1147/sj.192.0229"> <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>
&laquo; Previous Showing results 1 &mdash; 15 out of 20,768 results