上海市自然科学基金(11ZR1418500)

作品数：8被引量：9H指数：2
导出分析报告
相关作者：潘理姚立红龚敏斌訾小超邹潇更多>>
相关机构：上海交通大学上海市信息安全综合管理技术研究重点实验室南京大学信息技术有限公司更多>>
相关期刊：《计算机工程与设计》《信息安全与通信保密》《上海交通大学学报》《计算机应用与软件》更多>>
相关主题：固件完整性虚拟机拷贝访问控制更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于固件的云系统策略文件完整性安全机制
《计算机应用与软件》2014年第11期286-288,306,共4页龚敏斌 潘理 
国家自然科学基金项目(60903191);国家重点基础研究发展计划项目(2013CB329603);上海市自然科学基金项目(11ZR1418500)
针对云系统服务器之间共享策略文件所面临的完整性安全威胁,提出一种新的基于固件的策略安全机制。该机制可在云系统服务器平台之间安全且快速地进行共享策略文件交互,并可对共享策略文件进行完整性校验,进而提高协同工作的服务器所共...
关键词：云系统 策略完整性 固件 安全 
面向新一代固件接口标准的固件模糊测试系统被引量：1
《计算机工程》2014年第7期277-280,共4页马佳敏 潘理 姚颉文 
国家自然科学基金资助项目(60903191);上海市自然科学基金资助项目(11ZR1418500);上海市优秀技术带头人计划基金资助项目(13XD1425100)
针对当前统一可扩展固件接口(UEFI)固件漏洞大幅增多,且缺乏高效漏洞检测系统的问题,提出面向UEFI固件的模糊测试系统,采用模糊测试技术检测固件漏洞。该系统复用了原UEFI下自我认证测试系统的测试框架,同时使用专门的子系统生成高针对...
关键词：统一可扩展固件接口 模糊测试 固件 代码覆盖率 漏洞检测 基本输入输出系统 
虚拟机监视器系统策略完整性安全机制
《计算机工程与设计》2014年第1期17-20,共4页龚敏斌 潘理 姚立红 
国家自然科学基金项目(60903191);上海市优秀技术带头人计划基金项目(13XD1425100);上海市自然基金课题信息基金项目(11ZR1418500)
针对虚拟机监视器无法保障系统内动态策略文件的完整性,以及无法保障其所存储策略文件的完整性,实现了一种虚拟化系统策略文件的完整性安全机制。采用改进的策略文件存储方案,实现策略文件的安全存储,通过对动态策略文件进行完整性定时...
关键词：虚拟机监视器 策略文件 数据完整性 校验 安全 
智能密码钥匙合规性检测系统的实现
《信息安全与通信保密》2013年第12期117-119,123,共4页汪圣莅 潘理 周志洪 
国家自然科学基金项目(批准号:60903191);上海市优秀技术带头人计划(编号:13XD1425100);上海市自然基金课题信息(批准号:11ZR1418500)
智能密码钥匙作为一种身份认证工具,在电子商务等领域中得到广泛的应用,而智能密码钥匙本身需要一定的检测机制来保障其使用时的安全性。基于微软提出的通用CryptoAPI接口,通过对固定会话密钥信息的导入,可以实现智能密码钥匙合规性的...
关键词：CRYPTOAPI 合规性检测 智能密码钥匙 
网络系统策略完整性安全机制被引量：1
《信息安全与通信保密》2013年第8期73-75,共3页龚敏斌 潘理 钱宏 
上海市优秀技术带头人计划(编号:13XD1425100);国家自然科学基金资助项目(批准号:60903191);上海市自然基金课题信息(批准号:11ZR1418500)
针对网络服务器之间共享策略的完整性安全风险,提出了一种基于固件的网络策略安全机制。该机制可安全且快速地进行共享策略的网络传输,并对共享策略进行完整性校验,进而保障共享策略的完整性安全。实验表明,该机制实现了策略的安全管理...
关键词：网络系统 策略完整性 固件 系统安全 
基于二进制序列集合的策略合成代数框架被引量：3
《上海交通大学学报》2013年第4期579-583,共5页刘晨燕 潘理 訾小超 
国家重点基础研究发展规划(973)项目(2013CB329603);国家自然科学基金资助项目(60903191);上海市自然基金课题信息(11ZR1418500)
从代数建模和实现机制相融合的角度出发,提出了一种基于二进制序列集合的策略合成代数框架.首先通过定义二进制序列集合元素及构造集合运算规则,将策略抽象成逻辑模型.然后针对多终端二进制决策树(MTBDD)的逻辑建模机制中存在的编码次...
关键词：访问控制 属性 策略合成 
基于脏页率的虚拟机动态内存迁移被引量：3
《通信技术》2013年第3期101-103,106,共4页邹潇 訾小超 姚立红 潘理 
上海市自然科学基金项目(No.11ZR1418500);上海市自然科学基金项目(No.10ZR1416700);国家科技部973计划课题(No.2013CB329603)
虚拟机动态迁移中,为保证透明性和一致性,内存迁移多采用能平衡总迁移时间和宕机时间的迭代预拷贝。为减少预拷贝过程中的数据传输量、缩短总迁移时间,这里提出了一种基于脏页率预测的预拷贝机制,该机制根据局部性原理,对虚拟机内存页...
关键词：动态迁移 预拷贝 局部性原理 脏页率 
不同密级系统间基于BLP的访问控制机制被引量：1
《上海交通大学学报》2012年第9期1387-1391,共5页刘苏娜 潘理 姚立红 
国家自然科学基金(60903191);上海市自然科学基金(11ZR1418500)资助项目
将传统的BLP(Bell-La Padula)模型扩展,提出了一种适用于网络访问控制的N-BLP模型,通过定义网络元素和构造新的状态转换规则,实现了主体间通信行为的控制,并采用有限状态机理论验证了N-BLP模型的安全性,同时,基于LSM(Linux Security Mod...
关键词：网络访问控制 BLP模型 引用监视器 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部