陈力琼

作品数：8被引量：21H指数：2
导出分析报告
供职机构：温州医学院信息与工程学院更多>>
发文主题：串空间工作流密码体制JBPM教务管理系统更多>>
发文领域：自动化与计算机技术电子电信文化科学政治法律更多>>
发文期刊：《计算机科学与探索》《计算机工程》《计算机工程与设计》《职业时空》更多>>
所获基金：国家高技术研究发展计划国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
JBPM工作流在教务管理系统中的应用被引量：7
《计算机应用与软件》2011年第6期230-231,281,共3页吉梅 陈力琼 
在讲述工作流概念的基础上,对开源工作流管理系统jBPM(Java Business Process Management)进行了分析。从高校教务管理的需求和系统的建设目标出发,开发了一套基于jBPM的教务管理系统。以调课申请的流程为例,详细介绍了该流程的设计与...
关键词：教务管理 工作流 JBPM 调课申请流程 
为教学过程构建的工作流管理系统的设计及应用被引量：2
《计算机应用与软件》2011年第5期172-173,188,共3页陈力琼 吉梅 
介绍了工作流原理,分析了教学过程的特殊性。在此基础上,利用XML及Java等相关技术有针对性地构建了一种工作流管理系统。从流程定义、数据保存、技术实现方面描述了工作流的设计及实现,并以作业流程为例阐述了其在实际教学过程中的可行...
关键词：工作流 教学过程 流程节点 XML 
浅谈计算机软件的法律保护方式被引量：1
《职业时空》2011年第3期149-150,共2页吉梅 陈力琼 
计算机软件技术的发展所引发的法律问题是传统产业从未遇到过的,并向现行法律体系提出了挑战。拟从著作权、专利、商业秘密三个方面探讨计算机软件技术的法律保护方式,以求法制的建设能适应计算机软件技术的发展,也使法制的建设促进计...
关键词：计算机软件 法律 保护方式 
模块化项目驱动在“java程序设计”课程教学中的应用被引量：2
《职业时空》2011年第2期111-112,共2页陈力琼 吉梅 
java程序设计对计算机相关专业的学生是一门非常重要且实践性很强的课程,文章针对传统授课方式所产生的一系列问题,提出了模块化项目驱动的授课新模式,并详细介绍了这种新的授课方式在具体实施中的应用及效果。
关键词：JAVA程序设计 模块教学 项目驱动 
基于消息匹配的认证协议分析被引量：1
《计算机工程》2008年第12期126-128,共3页陈力琼 陈克非 
国家“863”计划基金资助项目(2006AA01Z422);现代通信国家重点实验室基金资助项目(51436040405JW0304)
为了有效地分析和验证认证协议的安全性,找出协议的漏洞,介绍一种基于消息匹配的形式化分析方法。利用串空间对协议进行建模,吸取模型检测的思想,分析攻击者可能扮演的角色以及协议的执行规则,在此基础上逐步给消息和主体知识集中的变...
关键词：消息匹配 串空间 知识集 认证测试 
认证测试方法对TLS协议的分析及其应用被引量：1
《计算机应用与软件》2008年第11期6-7,30,共3页陈力琼 陈克非 
国家863计划项目(2006AA01Z422)。
TLS(传输层安全)协议被广泛用来保证Web的安全,为了分析其安全性,用串空间模型对其进行形式化描述,并用认证测试方法分别对客户端和服务器端的认证性进行分析,证明协议存在中间人攻击,通过修改认证测试方法的测试元素对协议形式进行改进...
关键词：TLS协议 串空间 认证测试方法 中间人攻击 
不同密码体制下挑战-应答协议的分析被引量：6
《计算机工程与设计》2008年第10期2493-2495,共3页陈贤 陈力琼 阔永红 
国家863高技术研究发展计划基金项目(2006AA01Z422)
挑战-应答协议只有满足特定的安全条件才能保证实现其认证目标,用串空间模型对满足约束条件的协议形式进行建模,分别在对称和非对称密码两种密码体制下用认证测试方法对双方的互认证性进行形式化地分析,找出协议的漏洞及其形成的原因。...
关键词：挑战-应答协议 串空间 对称密码体制 非对称密码体制 认证测试方法 互认证性 测试元素 
认证测试方法的改进及应用被引量：1
《计算机科学与探索》2008年第1期104-109,共6页陈力琼 陈贤 
the National High- Tech Research and Development Plan of China under Grant No.2006AA01Z422( 国家高技术研究发展计划( 863) ) .
基于串空间模型的认证测试方法被证明是一种分析认证协议的有效工具,为了使之适用于类型更多、规模更大的安全协议,并提高其在协议的认证性、可达性、机密性、非否认性、会话密钥的新鲜性及主体间的关联度上的分析能力,对原有的认证测...
关键词：串空间 认证测试 主体关联度 模型检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部