梁坚
- 作品数：6 被引量：36H指数：3
- 供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术经济管理建筑科学更多>>
- 认证协议相关性分析
- 2002年
- 本文提出认证协议的相关性问题,并引入关联因子的概念,从消息相关和协议相关两个层次上对相关性进行描述,同时将协议的运行看作是攻击者和协议环境交互的模型。我们用CSP的模型检查工具FDR2对该模型进行形式化描述,以著名的Needham-Schroeder 公钥协议为例分析其相关性,得出了理想的结果。
- 张亚英梁坚尤晋元
- 关键词：通信协议
- 智能楼宇管理系统的设计与实现被引量：17
- 2000年
- 提出并实现了一种基于 CORBA平台的开放分布式智能楼宇管理体系结构 ,包括一组业务相关的核心服务、标准工作站和系统工具 .核心服务由一组智能建筑行业通用的服务组成 .系统工具是系统提供的一组特殊应用 ,是管理和配置系统的工具 .标准工作站则是系统提供的标准应用 ,提供用户对系统进行监控的界面 .这种体系结构以信息的交换和共享为中心 ,采用 ORB作为软件总线 ,为智能建筑的各设备控制子系统和各种第三方应用提供统一的互操作的接口 。
- 陆宁梁坚尤晋元
- 关键词：智能楼宇管理系统智能建筑分布式对象计算
- 最小容错限制和最大保密特性的分布电子拍卖协议被引量：2
- 2002年
- 文章提出了在分布式环境下的一种新的秘密投标方式的电子拍卖协议,满足电子拍卖的6个安全要求:标书的保密性,投标者匿名,赢家抗抵赖,输家利益不受损,投标有效性和分布式环境中的容错性。采用投标承诺保证其容错能力达到最小限制m>=2t+1,且只有赢家标书得到恢复,实现了对输家信息最大的保密。
- 梁坚敖青云尤晋元
- 基于工作流管理技术的网上购物仿真系统被引量：7
- 2000年
- 介绍了工作流管理系统的基本概念和建模方法，引入工作流组织模型和过程模型的描述语言，并将它们运用于网上购物仿真系统的设计和实现。为分布式系统集成提出一种新的方法。
- 梁坚施军刘琼波尤晋元
- 关键词：工作流管理系统网上购物仿真系统电子商场
- 安全协议的时限责任分析被引量：8
- 2002年
- 本文针对安全协议中的时限责任问题 ,提出结合责任性与新鲜性来分析时间标记 .这种思路体现在我们新的时限逻辑框架中 ,比较Kudo[8] 的方法 ,新的逻辑体系因为有对消息完整性的判断 ,能更有效地防止消息的篡改与重发攻击 ,且更加简洁和实用 .
- 梁坚敖青云尤晋元
- 关键词：安全协议形式化分析
- 密码协议验证与设计中若干关键技术研究
- 该文作者经过辛勤研究,在以下几个方面取得了一些成绩,通过实例分析和比较,显示我们方法的可行性和其中某些技术具有一定的领先性:1)发现了密码协议中消息关联特征,并能抽取关联因子作为分析对象.我们对这两个概念进行了形式化的定...
- 梁坚
- 关键词：密码协议形式化验证拒绝服务攻击
- 文献传递
