国家242信息安全计划(2005C56)
- 作品数：3 被引量：8H指数：2
- 相关作者：赵保华张炜陆超陈波谷雨更多>>
- 相关机构：中国科学技术大学更多>>
- 发文基金：国家242信息安全计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 动态环境中的概率信息流安全被引量：3
- 2006年
- 在概率安全进程代数的基础上,研究了概率系统在动态环境中的信息流安全,以解决可动态配置的恶意进程对系统带来的危害.同时,提出了动态环境中的概率互拟复合不可演绎性质,即持久P-PBNDC.使用敌意环境下的弱概率互拟和动态敌意环境等概念讨论了P-PBNDC是概率系统在动态环境中合适的信息流安全性质,该性质能够揭露出概率互拟复合不可演绎性质(PBNDC)所不能暴露的潜在的安全隐患.最后,证明了P-PBNDC和SBSPNI性质的一致性,在限制算子和前缀算子下的P-PBNDC具有复合性质,而在并行算子下不具有复合性质.
- 赵保华陈波陆超
- 关键词：信息流安全进程代数动态环境
- 基于随机密钥预分布模型的安全定向扩散协议
- 2007年
- 为了解决无线传感器网络中定向扩散协议的安全问题,提出一种基于随机密钥预分布模型的安全定向扩散协议.通过建立安全梯度及应用累积报文鉴别码和多层加密,扩展了定向扩散协议的安全机制,使其能够提供点到点的安全数据通信.安全分析表明,基于随机密钥预分布模型的安全定向扩散协议能够保证定向扩散协议在兴趣扩散、数据传输、路由建立和路径加强阶段的安全性,有效抵御多种由泄密节点发起的攻击.
- 宋飞谷雨周颢赵保华
- 关键词：无线传感器网络
- 基于有限状态机的被动测试错误诊断被引量：5
- 2006年
- 针对被动测试错误诊断算法只能推测出被测系统可能存在错误却无法准确定位错误的问题,提出了一种逐步定位系统实现错误的层次递进的方法.先利用测试序列的输入输出信息并结合错误模型生成初始诊断错误集合,再依据测试套上下文使用错误检测算法对该集合进行筛选,最后经连续观察或结合主动测试进行错误区分.实例验证结果表明,所提方法能够对绝大多数有单个实现错误的有限状态机模型进行错误定位.
- 赵保华张炜
- 关键词：被动测试
