李改成

作品数：3被引量：10H指数：1
导出分析报告
供职机构：北京大学软件与微电子学院信息安全系更多>>
发文主题：电子商务公平交换安全技术公平交换协议网络安全更多>>
发文领域：自动化与计算机技术经济管理更多>>
发文期刊：《信息网络安全》更多>>
所获基金：北京市自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
安全应用系统的形式化规范与求精过程研究被引量：1
《信息网络安全》2009年第5期24-27,共4页李改成 
形式化方法是提高系统安全等级必不可少的保障技术。然而,由于诸多原因,它在安全应用系统开发过程中的应用尚不普及。本文将以Z语言为依托,以Mondex电子钱包系统为范例,探讨形式化方法在安全应用系统开发过程中的应用方法和过程。
关键词：应用系统 安全等级 形式化方法 规范 求精 
多方公平交换协议的形式化分析和设计
《中国科学（E辑）》2006年第6期598-616,共19页卿斯汉 李改成 
北京市自然科学基金(批准号:4052016);国家自然科学基金(批准号:60573042);国家重点基础研究发展规划(G1999035802)资助项目
通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系,提出了一个简洁、紧凑、精确的一般公平交换协议层次化模型,规范了能够更严格地反映公平交换协议内在要求的多种安全需求,并对它们进行了细粒度的分解.基于...
关键词：公平交换 逻辑协议 形式化模型 安全需求 
公平交换协议的一个形式化模型被引量：9
《中国科学（E辑）》2005年第2期161-172,共12页卿斯汉 李改成 
北京市自然科学基金(批准号: 4052016);国家自然科学基金(批准号: 60083007);国家重点基础研究发展规划(973)(批准号: G1999035802)资助项目
基于对现有公平交换协议的研究, 使用求精过程建立了精确的形式化结构模型, 在这一过程中, 使用不可靠信道模拟攻击行为. 模型首次给出了交换项的形式化定义, 提出的公平性、可追究性目标能够更加完整地反映公平交换协议的内在要求. 为...
关键词：公平交换协议 形式化模型 局部时序关系 安全目标 电子商务 安全技术 网络安全 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部