席琳

作品数：4被引量：4H指数：1
导出分析报告
供职机构：郑州大学信息工程学院更多>>
发文主题：形式化方法公平可追究性相容性实时系统更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机工程》《计算机科学》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型检测的系统生存性分析被引量：2
《计算机工程》2012年第17期38-41,共4页周清雷 张兵 席琳 
国家"863"计划基金资助项目"基于ASP模式的软件服务支持技术研究"(2007AA010408)
提出一种采用模型检测进行系统生存性分析的形式化方法。给出系统所处环境及主要提供的服务,引入灾难和错误等因素,建立系统生存性模型。通过描述系统的可生存能力,确定其生存性需求并转换为相应的逻辑表示。以电话接入网络为例,利用PR...
关键词：生存性分析 形式化方法 模型检测 PRISM检测工具 离散马尔科夫链 概率计算树逻辑 
构件组装实时系统行为相容性测试用例产生
《计算机科学》2012年第9期133-137,共5页席琳 周清雷 李平 
国家高技术研究发展计划(863)项目(2007AA010408)资助
虽然构件技术在软件开发过程中得到了越来越广泛的应用,但是实时系统是一类设计、实现和验证工作都相当复杂的系统,其构件化远比普通软件复杂,组装仍有许多困难。分析了常见的组装相容性错误,提出了一种实时系统的构件组装行为相容性测...
关键词：构件 实时系统 行为相容性 测试用例产生 时间自动机 
改进的电子商务协议逻辑分析方法被引量：1
《计算机工程》2010年第13期291-292,F0003,共3页席琳 周清雷 
国家"863"计划基金资助项目(2007AA010408)
在卿-周逻辑(软件学报,2001年第9期)的基础上提出一种改进的逻辑分析方法,用于分析电子商务协议的安全性,如可追究性、公平性和原子性。该方法通过引入消息新鲜性机制,使被重放的消息可以被识别,重新定义可追究性的实现条件,使得在发生...
关键词：电子商务协议 可追究性 公平性 原子性 
CMP协议的缺陷及改进被引量：1
《微计算机信息》2007年第24期32-33,18,共3页席琳 赵东明 
国家自然科学基金资助项目(编号:69873040)
近年来,安全电子商务协议的设计和分析逐渐成为热点。机密性、公平性等性质是衡量电子商务协议安全与否的重要标志,也是协议能否顺利使用的重要前提。机密性和公平性是安全电子商务协议的基本性质,但可证实电子邮件协议CMP作为电子商务...
关键词：安全电子商务协议 机密性 公平性 可证实电子邮件协议 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部