中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共7条，第1-7条

帮助

条数/页：排序方式：
	基于simhash与倒排索引的复用代码快速溯源方法期刊论文 OAI收割通信学报, 2016, 卷号: 37.0, 期号: 011, 页码: 104 作者: 乔延臣; 云晓春; 庹宇鹏; 张永铮 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 网络安全复用代码快速溯源同源判定恶意代码
	基于调用习惯的恶意代码自动化同源判定方法期刊论文 OAI收割电子学报, 2016, 卷号: 44.0, 期号: 010, 页码: 2410 作者: 乔延臣; 云晓春; 张永铮; 李书豪 \| 收藏 \| 浏览/下载：5/0 \| 提交时间：2023/12/04 网络安全恶意代码同源判定调用习惯自动化
	基于双线性群的同态承诺方案期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1532-1537 宋焰 \| 收藏 \| 浏览/下载：42/0 \| 提交时间：2011/07/01 承诺陷门双线性群子群判定假设同态性线性群承诺方案零知识协议密码学安全多方计算构造双线性映射支付协议用途广泛研究课题设计思想签名方案实例化群同态群结构单向性子群证明原语Electronic commerce Electronic document identification systems Function evaluation Network protocols Security of data
	B级安全的轻量级内核BSK的设计与实现期刊论文 OAI收割计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/07/13 监控器模型 BLP BSK 安全容器安全对象代理安全对象轻量级内核模型设计消息调度消息传递机制面向对象机制路由信息对象模型调度算法调度模型安全判定安全模型安全检测有状态监控器缓冲器性能扩充客体
	B级安全的轻量级内核BSK的设计与实现期刊论文 OAI收割计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/13 监控器模型 BLP BSK 安全容器安全对象代理安全对象轻量级内核模型设计消息调度消息传递机制面向对象机制路由信息对象模型调度算法调度模型安全判定安全模型安全检测有状态监控器缓冲器性能扩充客体
	B级安全的轻量级内核BSK的设计与实现期刊论文 OAI收割计算机工程, 2006, 卷号: 32, 期号: 5, 页码: 125-127 冷健; 谢冬青 \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2011/07/13 监控器模型 BLP BSK 安全容器安全对象代理安全对象轻量级内核模型设计消息调度消息传递机制面向对象机制路由信息对象模型调度算法调度模型安全判定安全模型安全检测有状态监控器缓冲器性能扩充客体
	经典BLP安全公理的一种适应性标记实施方法及其正确性期刊论文 OAI收割计算机研究与发展, 2001, 卷号: 38, 期号: 11, 页码: 1366-1372 石文昌; 孙玉芳; 梁洪亮 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/29 Bell & LaPadula,计算机安全,模型,公理,Linux,实现经典安全操作系统适应性记实实施方法基础访问控制规则正确性证明多级安全性判定增加敏感标记基本安全安全系统灵活性计算机模型理论开发构造构成