Filters








84,550 Hits in 3.1 sec

Enforcing high-level protocols in low-level software

Robert DeLine, Manuel Fähndrich
<span title="">2001</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI &#39;01</a> </i> &nbsp;
We validate the utility of our approach by enforcing protocols present in the interface between the Windows 2000 kernel and its device drivers. ¡ Accessing a value means applying a primitive operation  ...  The Vault programming language allows a programmer to describe resource management protocols that the compiler can statically enforce.  ...  Like the Vault project, the SLAM project at Microsoft Research is also focussed on using exhaustive static analysis to enforce protocols of low-level software [1] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/378795.378811">doi:10.1145/378795.378811</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/DeLineF01.html">dblp:conf/pldi/DeLineF01</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/offf7xx3mnhgbnnbx5yzlfjoa4">fatcat:offf7xx3mnhgbnnbx5yzlfjoa4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922021335/https://people.eecs.berkeley.edu/~necula/Papers/vault01.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/ea/34ea8ffd27f9bbb7fef494cfca41bed5f356be56.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/378795.378811"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Enforcing high-level protocols in low-level software

Robert DeLine, Manuel Fähndrich
<span title="2001-05-01">2001</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;
We validate the utility of our approach by enforcing protocols present in the interface between the Windows 2000 kernel and its device drivers. ¡ Accessing a value means applying a primitive operation  ...  The Vault programming language allows a programmer to describe resource management protocols that the compiler can statically enforce.  ...  Like the Vault project, the SLAM project at Microsoft Research is also focussed on using exhaustive static analysis to enforce protocols of low-level software [1] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/381694.378811">doi:10.1145/381694.378811</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ahi5iyz4tfggvafgd6bxagiuny">fatcat:ahi5iyz4tfggvafgd6bxagiuny</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922021335/https://people.eecs.berkeley.edu/~necula/Papers/vault01.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/ea/34ea8ffd27f9bbb7fef494cfca41bed5f356be56.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/381694.378811"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

MYSEA

Cynthia E. Irvine, Thuy D. Nguyen, David J. Shifflett, Timothy E. Levin, Jean Khosalim, Charles Prince, Paul C. Clark, Mark Gondree
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rau5643b7ncwvh74y6p64hntle" style="color: black;">Proceedings of the 2009 ACM workshop on Scalable trusted computing - STC &#39;09</a> </i> &nbsp;
The MYSEA architecture uses component security services and mechanisms to extend and inter-operate with commodity PCs, commodity client software, applications, trusted components, and legacy single level  ...  This results in an architecture that meets two compelling requirements: first, that users have a familiar work environment, and, second, that critical mandatory security policies are enforced.  ...  The locus of policy enforcement in MYSEA is a federation of high assurance servers.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1655108.1655115">doi:10.1145/1655108.1655115</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ccs/IrvineNSLKPCG09.html">dblp:conf/ccs/IrvineNSLKPCG09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t7mnl7ltlbdrtdedcxlbepvhmy">fatcat:t7mnl7ltlbdrtdedcxlbepvhmy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20111206123558/http://www.cisr.us/downloads/papers/09paper_mysea_architecture.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/85/2c/852c606cadf848cad8157244bc3db4741baa69df.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1655108.1655115"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

From multilevel security to multiple independent levels of security/safety: the evolution illustrated through a novel cross-domain architecture

Angelo Liguori
<span title="">2017</span> <i title="Inderscience Publishers"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/k5o46enzlfbn7dkupi2ljtk2yi" style="color: black;">International Journal of Mobile Network Design and Innovation</a> </i> &nbsp;
A novel cross-domain solution is presented as the thread in-between the two approaches.  ...  The requirement to protect information characterised by a hierarchy of sensitivity levels led to the definition of multilevel security.  ...  There are two virtualised subjects, one connected to the low classification level network, in the following referred as low-side subject (LSS), the other connected to the high classification level network  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1504/ijmndi.2017.082802">doi:10.1504/ijmndi.2017.082802</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jihunjqyr5fotmvsymol4j5u3e">fatcat:jihunjqyr5fotmvsymol4j5u3e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180602233928/http://www.inderscience.com/storage/f121067892435111.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/d5/fad571923f9c3e533dc8616dea0590be42b9d6f5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1504/ijmndi.2017.082802"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Improving network management with software defined networking

Hyojoon Kim, Nick Feamster
<span title="">2013</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/risok53fz5a7tj5f2bczy5zmpq" style="color: black;">IEEE Communications Magazine</a> </i> &nbsp;
Network configuration remains incredibly difficult because implementing these high-level policies requires specifying them in terms of distributed low-level configuration.  ...  Procera effectively serves as a glue between high-level event-driven network policies and low-level network configuration.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mcom.2013.6461195">doi:10.1109/mcom.2013.6461195</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/k3pqiymphrexzcpcpyi2kdb4fe">fatcat:k3pqiymphrexzcpcpyi2kdb4fe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809110849/http://www.hit.bme.hu/~jakab/edu/litr/SDN/06461195_NM_impr_by_SDN.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/78/30/7830381359798934e2e5baad844459068335a660.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mcom.2013.6461195"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Middleware for real-time and embedded systems

Douglas C. Schmidt
<span title="2002-06-01">2002</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/i6iajiiyxvgz3ob6jwcn2pufni" style="color: black;">Communications of the ACM</a> </i> &nbsp;
Schmidt received B.S. and M.A. degrees in Sociology from the College of William and Mary in Williamsburg, Virginia, and an M.S. and a Ph.D. in Computer Science from the University of California, Irvine  ...  (UCI) in 1984, 1986, 1990, and 1994, respectively.  ...  These layers include the following capabilities: LOW LOW--LEVEL LEVEL MIDDLEWARE MIDDLEWARE OPERATING OPERATING SYSTEMS SYSTEMS & & PROTOCOLS PROTOCOLS HIGHER HIGHER--LEVEL LEVEL MIDDLEWARE  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/508448.508472">doi:10.1145/508448.508472</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aozfva7plvd5zho5ughpy5bxni">fatcat:aozfva7plvd5zho5ughpy5bxni</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170814033859/https://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/1999/isss99/pdffiles/04_1.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/2d/65/2d6523cb70faf179621e1438b549cb6f26f16542.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/508448.508472"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Design a Resilient Network Infrastructure Security Policy Framework

Akashdeep Bhardwaj, G. V. B. Subrahmanyam, Vinay Avasthi, Hanumat Sastry
<span title="2016-05-27">2016</span> <i title="Indian Society for Education and Environment"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wffwpj3q45g5zfjzfeyagk5uea" style="color: black;">Indian Journal of Science and Technology</a> </i> &nbsp;
This paper proposes bridging the gap between the high level information security policy descriptions with the low level network infrastructure security implementation.  ...  This paper presents a security framework to bridge the gap between high level specification requirements and the low level implementation phase for network infrastructure security using the network architecture  ...  This provides the ability to have yet-to-be developed low-level components in the form of black box sub components in high-level design model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17485/ijst/2016/v9i19/90133">doi:10.17485/ijst/2016/v9i19/90133</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5ce6d46pwvdhlb5dao5emeuesu">fatcat:5ce6d46pwvdhlb5dao5emeuesu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720151357/http://www.indjst.org/index.php/indjst/article/download/90133/69769" 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] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17485/ijst/2016/v9i19/90133"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

An Approach to Security Requirements Engineering for a High Assurance System *

Cynthia E. Irvine, Timothy Levin, Jeffery D. Wilson, David Shifflett, Barbara Pereira
<span title="2002-12-01">2002</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ksueo6d4evgydaetaqy5yhvtfq" style="color: black;">Requirements Engineering</a> </i> &nbsp;
Requirements specifications for high assurance secure systems are rare in the open literature.  ...  We describe our team-based method for developing a requirements document and relate that process to techniques in requirements engineering.  ...  These requests will be passed on to untrusted Application Protocol Servers, operating as a system defined anonymous user, at a system defined low secrecy, low integrity, session sensitivity level.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s007660200015">doi:10.1007/s007660200015</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/652zihg3nfcdpaazyyu2e2ajom">fatcat:652zihg3nfcdpaazyyu2e2ajom</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090116013108/http://cisr.nps.edu/downloads/02paper_has.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/07/d8/07d83ebd2eae3eeefa35607a2234d60d126c8fe4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s007660200015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Toward Edge-enabled Cyber-Physical Systems Testbeds [article]

V. K. Cody Bumgardner, Nima Seyedtalebi, Caylin Hickey
<span title="2019-10-02">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The use of edge computing can be extremely valuable in support of CPS efforts.  ...  We present the purpose of our work, the basic architecture, initial results, the relationship to the existing software, and the potential of an existing edge-focused framework to support the foundations  ...  This type of high-level scheduling of low-level, geographically distributed resources is very different from the way cloud providers, such as Amazon EC2 provide resources.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.01173v1">arXiv:1910.01173v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x7db3tna2zdbfgekhnsaegrsva">fatcat:x7db3tna2zdbfgekhnsaegrsva</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200906132612/https://arxiv.org/pdf/1910.01173v1.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/de/77/de77d3ee567a1420803989c6bbab2088c100ca8a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1910.01173v1" 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>

Enabling Virtual AAA Management in SDN-Based IoT Networks †

Alejandro Molina Zarca, Dan Garcia-Carrillo, Jorge Bernal Bernabe, Jordi Ortiz, Rafael Marin-Perez, Antonio Skarmeta
<span title="2019-01-12">2019</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/taedaf6aozg7vitz5dpgkojane" style="color: black;">Sensors</a> </i> &nbsp;
The increase of Software Defined Networks (SDN) and Network Function Virtualization (NFV) technologies is bringing many security management benefits that can be exploited at the edge of Internet of Things  ...  (AAA) as well as Channel Protection virtual security functions in IoT networks enabled with SDN/NFV.  ...  A high-level channel protection policy allows for specifying protection requirement regardless of the underlying channel protection techniques and protocols, and the high-level security policy is translated  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s19020295">doi:10.3390/s19020295</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5o6pyk6tdbfnljt72gp3ulxis4">fatcat:5o6pyk6tdbfnljt72gp3ulxis4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503110734/https://res.mdpi.com/sensors/sensors-19-00295/article_deploy/sensors-19-00295-v2.pdf?filename=&amp;attachment=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/43/23/4323d10cc8d12651b4423d81e5a5983e50e201c0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s19020295"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Enforcing interoperability with the open archives initiative repository explorer

Hussein Suleman
<span title="">2001</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kw2apmx5ynfyjf6jhs5gzrrx6e" style="color: black;">Proceedings of the first ACM/IEEE-CS joint conference on Digital libraries - JCDL &#39;01</a> </i> &nbsp;
The lack of standardized implementation is a substantial barrier to interoperability in many existing client/server protocols.  ...  The success of such an activity requires vigilance in specification of the protocol as well as standardization of implementation.  ...  As one approach to address these concerns, we developed a protocol tester that would allow a user to perform low-level protocol tests on a server implementation without the need for a corresponding client  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/379437.379450">doi:10.1145/379437.379450</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/jcdl/Suleman01.html">dblp:conf/jcdl/Suleman01</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tndyn6gpuvajjgxauhc2xw4fky">fatcat:tndyn6gpuvajjgxauhc2xw4fky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20030611161310/http://www.dlib.vt.edu:80/projects/OAI/reports/jcdl_2001_paper_repository_explorer.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/ca/57/ca5774617104d87034ab5dadfac3134e29a1ec2b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/379437.379450"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

From human regulations to regulated software agents' behavior

Javier Vázquez-Salceda, Huib Aldewereld, Davide Grossi, Frank Dignum
<span title="2007-07-18">2007</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hrp46vebjrgh7mk6m7icyvwgma" style="color: black;">Artificial Intelligence and Law</a> </i> &nbsp;
Acknowledgements This position paper compiles results of work done in collaboration with Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer, Davide Grossi and Huib Aldewereld.  ...  The HarmonIA framework only covered the normative di-mension of e-Institutions and proposed a way to connect the high-and low-levels.  ...  norms at a very high, declarative, abstract level, formally specifying norms in, e.g., deontic logic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10506-007-9057-x">doi:10.1007/s10506-007-9057-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xhp6v37jp5devkyr4s5dtp57sq">fatcat:xhp6v37jp5devkyr4s5dtp57sq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830032408/http://www.cs.upc.edu/~jvazquez/docs/WSbcn05.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/3e/3d/3e3db9f182b648460010fcf6e12e4e0ce4ea8706.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10506-007-9057-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A high-assurance, virtual guard architecture

Mark R. Heckman, Roger R. Schell, Edwards E. Reed
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5fjspjtqujectfcv6khzqy3mvq" style="color: black;">MILCOM 2012 - 2012 IEEE Military Communications Conference</a> </i> &nbsp;
The Low Message Buffer has a secrecy level of "Low" and, from this point on, all processing in the guard is done at the "Low" secrecy level. 3) Guard Output The Output Queue Manager is an assured pipeline  ...  High-assurance features GEMSOS is "high-assurance" due to a high level of trust that the protection mechanisms of the system correctly enforce the security policy during all phases of the system lifecycle  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/milcom.2012.6415677">doi:10.1109/milcom.2012.6415677</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/milcom/HeckmanSR12.html">dblp:conf/milcom/HeckmanSR12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/olgo6ex6ljazti7wnnvlhv7f4y">fatcat:olgo6ex6ljazti7wnnvlhv7f4y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811001232/http://www.mrheckman.com/yahoo_site_admin/assets/docs/Aesec-MILCOM12-Guard-120809c-PREPUB.325182940.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/5a/20/5a201f266b90d200d443961e40d18f1905e57019.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/milcom.2012.6415677"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A programmable, generic forwarding element approach for dynamic network functionality

Ran Giladi, Niv Yemini
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6mtaqkuatjbxjnu4pbbyvwphgi" style="color: black;">Proceedings of the 2nd ACM SIGCOMM workshop on Programmable routers for extensible services of tomorrow - PRESTO &#39;09</a> </i> &nbsp;
In this paper, we introduce a programmable, generic forwarding element (GFE), which can be used as a platform for a flexible and reconfigurable network system.  ...  LFB Classifier This is the first LFB, which is mandatory in the classification phase of the Low Level Rule Enforcer.  ...  Software [6] and reconfigurable [13] routers have also been suggested to define low-level behavior of a network node.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1592631.1592637">doi:10.1145/1592631.1592637</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigcomm/GiladiY09.html">dblp:conf/sigcomm/GiladiY09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7bdeyhvqhveonli7au2dh3gahu">fatcat:7bdeyhvqhveonli7au2dh3gahu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150918194412/http://conferences.sigcomm.org/sigcomm/2009/workshops/presto/papers/p19.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/a3/13/a31377a292985f787434daf58d8dd005e0336a49.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1592631.1592637"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Towards robust OSes for appliances

Gilles Muller, Charles Consel, Renaud Marlet, Luciano Porto Barreto, Fabrice Mérillon, Laurent Réveillère
<span title="">2000</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5mp2dg67onhjhm7g25cydvve2y" style="color: black;">Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system - EW 9</a> </i> &nbsp;
Consequently, there must be a high level of confidence in the software. Additionally, the pace of innovation requires rapid OS development so as to match ever changing needs of new appliances.  ...  To offer confidence, software must be highly robust.  ...  Furthermore, developing an OS requires low-level expressiveness, not covered by a high-level language (e.g., manipulation of raw data).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/566726.566732">doi:10.1145/566726.566732</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigopsE/MullerCMBMR00.html">dblp:conf/sigopsE/MullerCMBMR00</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pmuakjazc5adfi7t6saa2la6me">fatcat:pmuakjazc5adfi7t6saa2la6me</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810220145/http://imagine.enpc.fr/~marletr/LaBRI/papers/SIGOPS_EW00-Muller-et-al.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/c7/21/c721abe148dc66bf57a40f7a958fd45ea45a59b6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/566726.566732"> <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 84,550 results