您的位置： 专家智库 > >

朱勇

作品数：3 被引量：7H指数：2
供职机构：北京工业大学计算机学院更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术经济管理更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 3篇自动化与计算...
  • 1篇经济管理

主题

  • 2篇电子商务
  • 2篇形式化
  • 2篇形式化分析
  • 2篇商务
  • 2篇非否认协议
  • 2篇安全协议
  • 1篇网络
  • 1篇网络安全
  • 1篇密码
  • 1篇密码系统
  • 1篇可追究性
  • 1篇公平
  • 1篇ZHOU

机构

  • 3篇北京工业大学

作者

  • 3篇朱勇
  • 2篇蔡永泉

传媒

  • 1篇计算机应用研...
  • 1篇计算机工程与...

年份

  • 2篇2007
  • 1篇2006
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种改进的A(0)协议及其形式化分析被引量：3
2006年
针对A(0)协议不能抵抗重放和伪冒攻击的不足,在修改原协议的消息格式和增加握手确认消息的基础上,提出了一种A(0)协议的改进方案,并应用SVO逻辑对改进后的协议进行了形式化的安全性分析。改进后的协议在保持原协议简洁、高效优点的基础上,增加了抵抗重放和抵抗伪冒攻击的能力。
蔡永泉朱勇
关键词：安全协议形式化分析
Zhou-Gollmann非否认协议的分析与改进被引量：4
2007年
以可信第三方的时间作为参考标准,提出了一种新的改进方案,并对其进行了安全性和效率分析。分析结果表明,新方案不仅满足可追究性、公平性和时限性,而且具有实现简单、执行效率高、可信第三方负担轻等特点。
蔡永泉朱勇
关键词：非否认协议电子商务可追究性
非否认协议设计与形式化分析的研究
随着电子商务的飞速发展和广泛应用，网络安全及其形式化分析引起社会的密切关注，逐步成为计算机科学研究的热点领域。非否认技术作为网络安全中最具价值的研究问题之一，在避免电子商务参与主体因事后否认所进行的交易行为，而给对方造成...
朱勇
关键词：电子商务网络安全非否认协议安全协议密码系统
文献传递
全选 清除 导出
共1页<1>
聚类工具0