喵ID：GcWRdw免责声明

Gate-Level Information Flow Tracking for Security Lattices

安全网格的门级信息流跟踪

基本信息

DOI：
10.1145/2676548
发表时间：
2014-11
期刊：
ACM Transactions on Design Automation of Electronic Systems
影响因子：
1.4
通讯作者：
Ryan Kastner
中科院分区：
计算机科学4区
文献类型：
--
作者： Baolei Mao;Mohit Tiwari;Timothy Sherwood;Ryan Kastner研究方向： -- MeSH主题词： --
关键词： --
来源链接：pubmed详情页地址

文献摘要

High-assurance systems found in safety-critical infrastructures are facing steadily increasing cyber threats. These critical systems require rigorous guarantees in information flow security to prevent confidential information from leaking to an unclassifi
安全关键基础设施中发现的高保险系统正面临着稳步增加的网络威胁。这些关键系统需要在信息流安全性方面进行严格的保证，以防止机密信息泄漏到UNCLALIFI
参考文献（39）
被引文献（32）
Labels and event processes in the asbestos operating system
DOI：
10.1145/1095810.1095813
发表时间：
2007-12
期刊：
ACM Transactions on Computer Systems
影响因子：
1.5
作者：
P. Efstathopoulos;Maxwell N. Krohn;Steve Vandebogart;C. Frey;David Ziegler;E. Kohler;David Mazières;F. Kaashoek;R. Morris
通讯作者：
P. Efstathopoulos;Maxwell N. Krohn;Steve Vandebogart;C. Frey;David Ziegler;E. Kohler;David Mazières;F. Kaashoek;R. Morris
A MATHEMATICAL THEORY OF COMMUNICATION
DOI：
10.1002/j.1538-7305.1948.tb00917.x
发表时间：
1948-01-01
期刊：
BELL SYSTEM TECHNICAL JOURNAL
影响因子：
0
作者：
SHANNON, CE
通讯作者：
SHANNON, CE
A MATHEMATICAL THEORY OF COMMUNICATION
DOI：
10.1002/j.1538-7305.1948.tb01338.x
发表时间：
1948-01-01
期刊：
BELL SYSTEM TECHNICAL JOURNAL
影响因子：
0
作者：
SHANNON, CE
通讯作者：
SHANNON, CE
Theoretical Fundamentals of Gate Level Information Flow Tracking
DOI：
10.1109/tcad.2011.2120970
发表时间：
2011-08
期刊：
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
影响因子：
2.9
作者：
Wei Hu;J. Oberg;A. Irturk;Mohit Tiwari;T. Sherwood;Dejun Mu;R. Kastner
通讯作者：
Wei Hu;J. Oberg;A. Irturk;Mohit Tiwari;T. Sherwood;Dejun Mu;R. Kastner
Raksha: a flexible information flow architecture for software security
DOI：
10.1145/1250662.1250722
发表时间：
2007-06
期刊：
影响因子：
0
作者：
Michael Dalton;Hari Kannan;Christos Kozyrakis
通讯作者：
Michael Dalton;Hari Kannan;Christos Kozyrakis

数据更新时间：{{ references.updateTime }}

关联基金

基于细粒度信息流分析的高可靠系统安全验证方法研究
批准号：
61303224
批准年份：
2013
资助金额：
26.0
项目类别：
青年科学基金项目
Ryan Kastner
通讯地址:
--
所属机构:
--
电子邮件地址：
--
免责声明免责声明
1、猫眼课题宝专注于为科研工作者提供省时、高效的文献资源检索和预览服务；
2、网站中的文献信息均来自公开、合规、透明的互联网文献查询网站，可以通过页面中的“来源链接”跳转数据网站。
3、在猫眼课题宝点击“求助全文”按钮，发布文献应助需求时求助者需要支付50喵币作为应助成功后的答谢给应助者，发送到用助者账户中。若文献求助失败支付的50喵币将退还至求助者账户中。所支付的喵币仅作为答谢，而不是作为文献的“购买”费用，平台也不从中收取任何费用，
4、特别提醒用户通过求助获得的文献原文仅用户个人学习使用，不得用于商业用途，否则一切风险由用户本人承担；
5、本平台尊重知识产权，如果权利所有者认为平台内容侵犯了其合法权益，可以通过本平台提供的版权投诉渠道提出投诉。一经核实，我们将立即采取措施删除/下架/断链等措施。
我已知晓