桂荆京
- 作品数：3 被引量：2H指数：1
- 供职机构：解放军理工大学指挥自动化学院更多>>
- 发文基金：国家重点实验室开放基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于串空间的Ad hoc路由协议安全性分析新方法
- 目前采用形式化方法进行Ad hoc路由协议安全性分析还面临着诸多挑战。论文在串空间理论的基础上提出了一种Ad hoc路由协议安全性分析新框架，首先根据图论的邻接矩阵运算原理确定网络中的虚假路径；然后构建协议串空间模型，描...
- 桂荆京张毓森
- 关键词：HOC网络形式化验证串空间模型
- 支持组件动态更新的远程证明被引量：2
- 2011年
- 将密钥隔离安全机制应用到基于组件属性的远程证明中,并分析方案的正确性和安全性.分析结果表明:未及时更新或者被恶意代码攻击的组件将丧失安全属性,不再具有远程证明能力.实现了无证书的组件证明,省略了验证证书的过程,减少了验证方的负担,并结合现有的可信计算完整性管理模式,给出了实现过程.
- 锁琰徐小岩张毓森张涛桂荆京杨莉乐康
- 关键词：可信计算远程证明密钥隔离双线性映射
- MANET虚假路由形式化验证
- 2012年
- 提出了Ad-hoc网络虚假路由攻击的形式化验证和分析方法,主要是在参数化Ad-hoc路由协议串空间模型的基础上采用改进的Athena状态表示法来描述问题域,并采用相应的证明搜索过程来完成目标验证。最后设计实现了虚假路由自动验证系统FRpoofor,用它验证和分析了Ariadne安全路由协议运行环境下某些虚假路由的建立过程,以此说明方法的有效性。
- 张毓森桂荆京王金双锁琰杨莉金鑫
- 关键词：形式化分析串空间
