李改成
- 作品数：4 被引量：18H指数：1
- 供职机构：北京大学软件与微电子学院信息安全系更多>>
- 发文基金：北京市自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 多方公平交换协议的形式化分析和设计被引量：1
- 2006年
- 通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系,提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型,规范了能够更严格地反映公平交换协议内在要求的多种安全需求,并对它们进行了细粒度的分解.基于这一工作,可高效细致地对多方公平交换协议进行分析、检测和设计.
- 卿斯汉李改成
- 关键词：公平交换安全需求
- 公平交换协议分析与实现技术研究
- 开放网络上的电子商务正在深刻地改变着传统交易形态。不同于有形市场中的交易，在开放网络环境中，电子商务中的公平性难于达到。本论文在总结现有安全协议分析和实现技术的基础上，研究了电子商务的核心协议-公平交换协议的分析和实现过...
- 李改成
- 关键词：电子商务
- 安全应用系统的形式化规范与求精过程研究被引量：1
- 2009年
- 形式化方法是提高系统安全等级必不可少的保障技术。然而,由于诸多原因,它在安全应用系统开发过程中的应用尚不普及。本文将以Z语言为依托,以Mondex电子钱包系统为范例,探讨形式化方法在安全应用系统开发过程中的应用方法和过程。
- 李改成
- 关键词：应用系统安全等级形式化方法
- 公平交换协议的一个形式化模型被引量：17
- 2005年
- 基于对现有公平交换协议的研究, 使用求精过程建立了精确的形式化结构模型, 在这一过程中, 使用不可靠信道模拟攻击行为. 模型首次给出了交换项的形式化定义, 提出的公平性、可追究性目标能够更加完整地反映公平交换协议的内在要求. 为了能高效而又细致地对协议进行检测、证明和设计, 模型提出了适用于所有公平交换协议的不可滥用性的新性质, 给出了第三方可信赖串的定义和设计安全高效的公平交换协议的一般准则. 文中通过一个典型的公平交换协议分析实例, 阐明了使用该模型分析公平交换协议的详细步骤. 发现了一种过去从未发现过的新攻击, 给出了攻击发生时系统运行的全过程, 深刻揭示了攻击发生的各种原因. 最后, 对有缺陷的协议进行了改进, 改进后的协议满足所需要的各种性质.
- 卿斯汉李改成
- 关键词：公平交换协议电子商务安全技术网络安全
