期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
终结黑客攻击的操作系统问世
被引量:
1
下载PDF
职称材料
导出
摘要
近日,耶鲁大学计算机系教授邵中小组成功研发世界上第一个反黑客攻击操作系统Certi KOS。一直以来,计算机科学家都认为,计算机的操作系统在其核心应该有一个小的、可信的内核,促进系统的软件和硬件之间的通信。但是操作系统是复杂的,并且它需要的是一个单一的弱连接代码,该代码通过传统测试几乎不可能检测到,并且使系统易受黑客攻击。
出处
《中国教育网络》
2016年第12期51-51,共1页
China Education Network
关键词
黑客攻击
计算机科学家
网络攻击
弱连接
多线程
信息物理系统
形式验证
验证法
并发性
MODULAR
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
TP316 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
14
引证文献
1
二级引证文献
0
同被引文献
14
1
李鸿渊.
论网络主权与新的国家安全观[J]
.行政与法,2008(8):115-117.
被引量:31
2
高明.
欧盟跨境数据流动的法律探究[J]
.法制与社会(旬刊),2011(28):20-21.
被引量:8
3
张亚妮,傅鹂.
“壮年”维特之烦恼——德国网络安全战略浅析[J]
.中国信息安全,2012(7):48-51.
被引量:2
4
曾丽洁.
欧洲企业对跨境流通数据资讯隐私权保护的自律模式[J]
.武汉交通职业学院学报,2012,14(4):21-27.
被引量:3
5
杨嵘均.
论网络虚拟空间对国家安全治理界限的虚拟化延伸[J]
.南京社会科学,2014(8):87-94.
被引量:26
6
唐岚,张力.
莫言网事风初起 萧萧暗雨打窗声——透视国外网络安全战略[J]
.信息安全与通信保密,2014,12(11):57-61.
被引量:1
7
韩静雅.
跨境数据流动国际规制的焦点问题分析[J]
.河北法学,2016,34(10):170-178.
被引量:32
8
刘耀华,石月.
欧美“隐私盾”协议及对我国网络数据保护的启示[J]
.现代电信科技,2016,46(5):12-16.
被引量:7
9
何波,石月.
跨境数据流动管理实践及对策建议研究[J]
.互联网天地,2016(12):29-32.
被引量:10
10
沈逸,杨杨.
2016年世界网络安全态势盘点[J]
.汕头大学学报(人文社会科学版),2017,33(1):23-33.
被引量:1
引证文献
1
1
于良.
世界主要国家和地区网络空间竞争的主要举措与政策建议[J]
.全球科技经济瞭望,2018,33(11):30-34.
1
董剑峰,方海波.
垃圾邮件防范技术的比较与产品选择[J]
.浙江教育学院学报,2007(3):84-88.
2
李小勇.
垃圾邮件研究与防范[J]
.计算机光盘软件与应用,2011(20):133-133.
3
毕宗珍.
嵌入式linux操作系统的设计[J]
.电子技术与软件工程,2014(15):188-188.
4
周刘.
基于医院信息系统探究医院信息管理体系的构建[J]
.信息系统工程,2015,28(1):63-63.
被引量:1
5
夏永春,张伟,尹光洪.
指控系统综合验证法研究[J]
.系统仿真学报,2013,25(8):1835-1840.
被引量:1
6
杨光飞,崔雪娇,张翔.
基于抽样和规则的不平衡数据关联分类方法[J]
.系统工程理论与实践,2017,37(4):1035-1045.
被引量:6
7
邓承诺,吴丹,黄威,戴葵,邹雪城.
高效能ESCA协处理器验证技术研究[J]
.计算机工程与科学,2014,36(1):28-33.
8
晋芳华,刘鹏,钱兴华.
语义级互操作的关键技术研究[J]
.舰船电子工程,2016,36(7):95-99.
被引量:6
9
黄敏,佟振声,朱永利,马永光.
基于代理和XML的电厂级信息集成系统的研究[J]
.电网技术,2004,28(23):66-70.
被引量:3
10
李虎.
基于USB接口的软硬件协同验证平台研究[J]
.科技视界,2013(35):243-243.
中国教育网络
2016年 第12期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部