徐洁
- 作品数:3 被引量:4H指数:2
- 供职机构:重庆大学计算机学院更多>>
- 发文基金:国家自然科学基金国家科技支撑计划更多>>
- 相关领域:自动化与计算机技术经济管理更多>>
- 我国公共基础设施维护研究
- 投资是拉动经济增长的三架马车之一,而基础设施在投资中占据重要地位,是一国经济发展的基础,在推动经济增长过程中也起着重要的作用。基础设施按性质可以划分为新建项目和维护管理,国内外理论和实证研究表明,基础设施存量规模对促进经...
- 徐洁
- 关键词:交通基础设施维护管理融资渠道政府职能
- 文献传递
- 公平交换协议形式逻辑被引量:2
- 2011年
- 在深入分析公平交换协议现有研究和各项安全属性的基础上,由于信任逻辑方法难以分析乐观公平交换协议的公平性和时限性,提出一种公平交换协议形式化模型和推理逻辑.新模型将信道错误转化为攻击行为,将参与者分为诚实与不诚实两类,并将这些威胁归结为两类入侵者.基于模型检查思想,新逻辑将协议定义为Kripke结构的演化系统,将参与者看作异步环境中的通信进程,定义了时间算子控制实体行为的转换.同时,新逻辑继承了信任逻辑简单、实用的优点.以一个典型协议为例,采用逻辑结合模型检查的方法,演示了分析协议的过程.发现并改进了协议实例的安全缺陷.案例分析表明,新逻辑能够分析公平交换协议的公平性和时限性.
- 陈明吴开贵吴长泽徐洁吴中福
- 关键词:异步通信公平交换形式化分析
- 容错分布操作系统——原理与实践
- 徐洁