Filters








364,819 Hits in 7.9 sec

A dynamic information flow model of secure systems

Jianjun Shen, Sihan Qing
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rau5643b7ncwvh74y6p64hntle" style="color: black;">Proceedings of the 2nd ACM symposium on Information, computer and communications security - ASIACCS &#39;07</a> </i> &nbsp;
We characterize the information flow features of an information system in a state machine model, which emphasizes on the subject properties of information flows.  ...  Within the model, security policies and access control are studied in terms of information flow. We also discuss information flow security analysis.  ...  Framework of Information Flow Analysis We summarize the general process of analyzing flow security within an information system as: (1) In step (1) we construct a (or part of) static model; in step  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1229285.1229321">doi:10.1145/1229285.1229321</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ccs/ShenQ07.html">dblp:conf/ccs/ShenQ07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/342zw2gl2nablkhrabwinrbhzy">fatcat:342zw2gl2nablkhrabwinrbhzy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190217132644/https://static.aminer.org/pdf/20170130/pdfs/ccs/rygo5inmwpwjd9gssjfd2um31uaqpxhx.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/6e/796e5a12da65b07bd3bee5ccc4ef3fcc36dffab2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1229285.1229321"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Secure information sharing in social agent interactions using information flow analysis

Shahriar Bijani, David Robertson, David Aspinall
<span title="">2018</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/74vjt6olkvfqpdykhombmbjp74" style="color: black;">Engineering applications of artificial intelligence</a> </i> &nbsp;
This paper addresses a key vulnerability of security of open multi-agent systems governed by formal models of social norms (as exemplified by LCC).  ...  Focusing on information leakage in choreography systems using LCC, we suggest a framework to detect insecure information flows.  ...  Two disadvantages of dynamic information flow analysis are its inability to detect implicit information flows and late detection of insecure flow.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.engappai.2018.01.002">doi:10.1016/j.engappai.2018.01.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ebcillzhkvgpfakg2g2xouojle">fatcat:ebcillzhkvgpfakg2g2xouojle</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200318050001/https://www.research.ed.ac.uk/portal/files/55141318/2018_Secure_information_sharing_in_social_agent_interactions_using_IF_analysis_final_verson_.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/70/0a/700a86459b82b1a56d10cb550e2813eda5e663ec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.engappai.2018.01.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A label‐based information flow control model for object‐oriented systems

Shih‐Chien Chou
<span title="">2007</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mlmubuf5ojgtzjbyyzppprt6ti" style="color: black;">Zhongguó gongchéng xuékan</a> </i> &nbsp;
Therefore, an information flow control model for procedural languages is helpful. We developed a model that can be used in both object-oriented and non-objectoriented systems.  ...  Preventing information leakage during system execution is essential for a system that manages sensitive information. The prevention can be achieved through information flow control.  ...  To prove that ICMR/ACL adapts to dynamic object state change, we must prove that ICMR/ACL changes secure information flows of a system when object state changes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/02533839.2007.9671258">doi:10.1080/02533839.2007.9671258</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pnl3ngcfxjdl5pegouabg2wdba">fatcat:pnl3ngcfxjdl5pegouabg2wdba</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829001928/http://www.iis.sinica.edu.tw/page/jise/2007/200703_08.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/21/aa/21aab981b8cb82dfd0ffd970d40b5d7d25651f2d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/02533839.2007.9671258"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> tandfonline.com </button> </a>

Information flow based defensive chain for data leakage detection and prevention: a survey [article]

Ning Xi, Chao Chen, Jun Zhang, Cong Sun, Shigang Liu, Pengbin Feng, Jianfeng Ma
<span title="2021-06-09">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Research communities and industries have proposed many Information Flow Control (IFC) techniques for data leakage detection and prevention, including secure modeling, type system, static analysis, dynamic  ...  It poses a crucial threat to users' identity security, financial security, or even life security.  ...  It provided a set of security-relevant views on a system while in developing [13] . IF property was included in the system model. Then a software component model was derived from the system model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.04951v1">arXiv:2106.04951v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/apib4mmp3va43dv5he7xu3aay4">fatcat:apib4mmp3va43dv5he7xu3aay4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210612035240/https://arxiv.org/pdf/2106.04951v1.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/d4/bc/d4bc97216d1d402ab94be11d782e9d834e1d8fcb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.04951v1" 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>

An Information-Flow Model for Privacy (Infopriv) [chapter]

Lucas C. J. Dreyer, Martin S. Olivier
<span title="">1999</span> <i title="Springer US"> Database Security XII </i> &nbsp;
Traditional security models (such as the Bell-LaPadula model) assume that users can be trusted and instead concentrate on the processes within the boundaries of the computer system.  ...  This formalisation includes the notion of information sanitisers (or trusted entities). InfoPriv is concluded with a discussion of its static and dynamic aspects.  ...  However, specifying this requirement in a computer system that is based on a traditional security model is not so easy since traditional security has been designed around specific requirements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-35564-1_5">doi:10.1007/978-0-387-35564-1_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l4kvnroffzhyjjtoqgbnsrehn4">fatcat:l4kvnroffzhyjjtoqgbnsrehn4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502144320/https://link.springer.com/content/pdf/10.1007%2F978-0-387-35564-1_5.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/8a/55/8a55e208e3bdc605e81e6096cad480ce5e5c895b.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-35564-1_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Dynamic Control Method for Tenants' Sensitive Information Flow Based on Virtual Boundary Recognition (August 2020)

Xin Lu, Lifeng Cao, Xuehui Du
<span title="">2020</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q7qi7j4ckfac7ehf3mjbso4hne" style="color: black;">IEEE Access</a> </i> &nbsp;
Based on the identification n of tenants' virtual security boundaries and the security control of information flow, a dynamic security control application system for sensitive information flow was constructed  ...  DYNAMIC SECURITY CONTROL APPLICATION SYSTEM FOR CLOUD TENANTS' SENSITIVE INFORMATION FLOW (DSCLoud) Based on the aforementioned methods, we present the design of a dynamic security control system for sensitive  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2020.3021415">doi:10.1109/access.2020.3021415</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rmbat4belncrroxnbqx5jjffii">fatcat:rmbat4belncrroxnbqx5jjffii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200905122434/https://ieeexplore.ieee.org/ielx7/6287639/6514899/09186089.pdf?tp=&amp;arnumber=9186089&amp;isnumber=6514899&amp;ref=" 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/a4/08/a40884b74e14e15e6dc6bc5315ec8e8736d543e1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2020.3021415"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> ieee.com </button> </a>

Systémová dynamika jako nástroj pro výzkum bezpečnosti

Jakub Drmola
<span title="2014-06-15">2014</span> <i title="University of Defence"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/faib3l3cvrawzgvkjbgknskwpa" style="color: black;">Obrana a Strategie</a> </i> &nbsp;
System dynamics has frequently been demonstrated to be an effective analytical tool in a wide variety of situations.  ...  System dynamics has frequently been demonstrated to be an effective analytical tool in a wide variety of situations such as the Inside-Threats security problems in IT organisations because the casual factors  ...  The Stock-Flow Structure The stock and flow diagram is a graphically representation of the system and facilitate as a core part of the system dynamics approach.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3849/1802-7199.14.2014.01.015-028">doi:10.3849/1802-7199.14.2014.01.015-028</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/svefmkw2yjc2zd5nly6rmvjvmq">fatcat:svefmkw2yjc2zd5nly6rmvjvmq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190429071117/http://www.iaeng.org/publication/WCE2008/WCE2008_pp528-531.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/d4/36/d43647259d9a61599f6d2e876720398ff70df549.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3849/1802-7199.14.2014.01.015-028"> <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 review of attacks and security approaches in open multi-agent systems

Shahriar Bijani, David Robertson
<span title="2012-05-16">2012</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/srtrvzrec5a3fmhgvgc3676jlu" style="color: black;">Artificial Intelligence Review</a> </i> &nbsp;
Focusing on information leakage in choreography systems using LCC, we then suggest two frameworks to detect insecure information flows: conceptual modeling of interaction models and languagebased information  ...  Both static (design-time) and dynamic (run-time) security type checking are employed to guarantee no information leakage can occur in annotated LCC interaction models.  ...  Dynamic Information Flow Analysis Dynamic (run-time) information flow analysis can appropriately be added to LCC language because of the dynamic nature of LCC language.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10462-012-9343-1">doi:10.1007/s10462-012-9343-1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ppins5fil5hztjftmzbgzknzli">fatcat:ppins5fil5hztjftmzbgzknzli</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829012201/http://www.dai.ed.ac.uk/groups/ssp/members/pubs/bijani_phd.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/37/aa/37aa4c3282634ff65426d7801dd5726cf8a3c8b8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10462-012-9343-1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Dynamic label binding at run-time

Yolanta Beres, Chris I. Dalton
<span title="">2003</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/osnbukkdqjedvkk44xndonptme" style="color: black;">Proceedings of the 2003 workshop on New security paradigms - NSPW &#39;03</a> </i> &nbsp;
This paper introduces a pragmatic new approach for tracking information flow while the process is running at the same time applying dynamic label binding.  ...  Information flow control allows enforcement of end-to-end confidentiality policies but has been difficult to put in practice.  ...  DYNAMIC LABEL BINDING MODEL The aim of this work is to show that it should be possible to build a security system in practice that will track information flow within applications at run-time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/986655.986662">doi:10.1145/986655.986662</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/nspw/BeresD03.html">dblp:conf/nspw/BeresD03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xux7yneoibgmdf43twgeseueqe">fatcat:xux7yneoibgmdf43twgeseueqe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705124529/http://www.nspw.org/papers/2003/nspw2003-beres.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/df/8b/df8b61fac8817908c8c084eb8bcc7fbf2b7ff126.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/986655.986662"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A lattice model of secure information flow

Dorothy E. Denning
<span title="1976-05-01">1976</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;
The model provides a unifying view of all systems that restrict information flow, enables a classification of them according to security objectives, and suggests some new approaches.  ...  This paper investigates mechanisms that guarantee secure information flow in a computer system.  ...  I wish also to thank Herbert Schwetman for supervising the thesis research which led to the model and mechanisms described here and Kenneth Omahen for persistently challenging my derivation of the lattice  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/360051.360056">doi:10.1145/360051.360056</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/muxc35byozhtlei3u4px6qik2e">fatcat:muxc35byozhtlei3u4px6qik2e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070609224126/http://www.dcs.kcl.ac.uk/pg/cmu/papers/lattice76.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/5f/2b/5f2b22b77559ddb4f3734459d1ff66c58d22df12.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/360051.360056"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Foreword: programming language interference and dependence

DAVID CLARK, ROBERTO GIACOBAZZI, CHUNYAN MU
<span title="2011-10-27">2011</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jdpukxfslnfmradqb65llq43na" style="color: black;">Mathematical Structures in Computer Science</a> </i> &nbsp;
of a dynamic system are related.  ...  This allows a practical and innovative reduction of the problem of secure information flow of a program P to a safety property for a modified program, derived from P , by composing P with a renaming of  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0960129511000168">doi:10.1017/s0960129511000168</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5idllhv7vveqzej3p7qi7auf5i">fatcat:5idllhv7vveqzej3p7qi7auf5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030070719/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/8416409C17340EE357779103F5E9E1F6/S0960129511000168a.pdf/div-class-title-foreword-programming-language-interference-and-dependence-div.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/b6/07b631327ed093f9b7b8e108fac6933a8d9de3f1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0960129511000168"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

ADSN 2010 Keynote Abstracts

<span title="">2010</span> <i title="IEEE"> 2010 IEEE 30th International Conference on Distributed Computing Systems Workshops </i> &nbsp;
Assessment is an integral part of a chief information security officer's (CISO) daily work.  ...  These techniques have been proven to be powerful tools for assessment of availability and performance metrics, and also lend themselves for a system-driven modelling approach of security policies.  ...  Assessment is an integral part of a chief information security officer's (CISO) daily work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icdcsw.2010.9">doi:10.1109/icdcsw.2010.9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gwwlrtq7e5bzhizrjjb3vqnz3q">fatcat:gwwlrtq7e5bzhizrjjb3vqnz3q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170818114833/https://www.computer.org/csdl/proceedings/icdcsw/2010/4079/00/05628811.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/0a/7f/0a7fa357b76404e586c11be999ea041b0853b3b4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icdcsw.2010.9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Intrusion detection in distributed systems, an approach based on taint marking

Christophe Hauser, Frederic Tronel, Colin Fidge, Ludovic Me
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jtcdcetsmvdmjcshq24lhzakwu" style="color: black;">2013 IEEE International Conference on Communications (ICC)</a> </i> &nbsp;
Our system tracks information flows between applications of multiple hosts gathered in groups (i.e. sets of hosts sharing the same distributed information flow policy) by attaching taint labels to system  ...  As opposed to existing approaches, where information is most often represented by two security levels (low/high, public/private etc.), our model identifies each piece of information within a distributed  ...  Panorama is a systemwide information flow tracking model based on dynamic taint analysis.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icc.2013.6654811">doi:10.1109/icc.2013.6654811</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icc/HauserTFM13.html">dblp:conf/icc/HauserTFM13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/horodedddzeinn642usyxajuxa">fatcat:horodedddzeinn642usyxajuxa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706000421/http://eprints.qut.edu.au/64725/1/accepted-version.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/af/62/af6250db631348b3c3e0d2307a781a4a4debe5c3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icc.2013.6654811"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Using System Dynamics to Investigate the Effect of the Information Medium Contact Policy on the Information Security Management

Pei-Chen Sung, Chien-Yuan Su
<span title="2013-05-23">2013</span> <i title="Canadian Center of Science and Education"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ikh6mqo2rze4xotq4vd7pkkd24" style="color: black;">International Journal of Business and Management</a> </i> &nbsp;
of assets, and identify security roles and responsibilities of employees; (3) it is necessary to audit regularly the configurations and the parameters of security techniques; (4) the operating system  ...  First, we propose the computer viruses propagation model and analysis from system viewpoint. Second, we explore and evaluate the effectiveness of preventive countermeasures.  ...  The structure of a system flow diagram contains stock and flow variables, also known as the stock flow diagram.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5539/ijbm.v8n12p83">doi:10.5539/ijbm.v8n12p83</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tef3ylleh5flfpzcd7fujjasgq">fatcat:tef3ylleh5flfpzcd7fujjasgq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706113108/http://ccsenet.org/journal/index.php/ijbm/article/download/26174/16730/" 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/8a/1b/8a1b3fba8f493348b4948a37b93f1f4053c4cde3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5539/ijbm.v8n12p83"> <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>

Position paper

Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS &#39;13</a> </i> &nbsp;
We describe Sapper, a language for creating critical hardware components that have provably secure information flow.  ...  Sapper addresses this problem by enabling flexible and efficient hardware design that is provably secure with respect to a given information flow policy.  ...  The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of the  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2465106.2465214">doi:10.1145/2465106.2465214</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/0001KOTRKSHC13.html">dblp:conf/pldi/0001KOTRKSHC13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v5mwy4pquzdj5bjo5564tir4yi">fatcat:v5mwy4pquzdj5bjo5564tir4yi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151023154629/http://www.cs.ucsb.edu/~xun/papers/sapper-plas13.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/09/32099e9349e551f747e5da48c95a5df5cfaf06f2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2465106.2465214"> <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 364,819 results