陈力琼
- 作品数：9 被引量：26H指数：3
- 供职机构：温州医学院信息与工程学院更多>>
- 发文基金：国家高技术研究发展计划国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学政治法律更多>>
- 浅谈计算机软件的法律保护方式被引量：1
- 2011年
- 计算机软件技术的发展所引发的法律问题是传统产业从未遇到过的,并向现行法律体系提出了挑战。拟从著作权、专利、商业秘密三个方面探讨计算机软件技术的法律保护方式,以求法制的建设能适应计算机软件技术的发展,也使法制的建设促进计算机软件技术的发展。
- 吉梅陈力琼
- 关键词：计算机软件法律
- 为教学过程构建的工作流管理系统的设计及应用被引量：2
- 2011年
- 介绍了工作流原理,分析了教学过程的特殊性。在此基础上,利用XML及Java等相关技术有针对性地构建了一种工作流管理系统。从流程定义、数据保存、技术实现方面描述了工作流的设计及实现,并以作业流程为例阐述了其在实际教学过程中的可行性和实用性。
- 陈力琼吉梅
- 关键词：工作流教学过程XML
- 认证测试方法对TLS协议的分析及其应用被引量：3
- 2008年
- TLS(传输层安全)协议被广泛用来保证Web的安全,为了分析其安全性,用串空间模型对其进行形式化描述,并用认证测试方法分别对客户端和服务器端的认证性进行分析,证明协议存在中间人攻击,通过修改认证测试方法的测试元素对协议形式进行改进,并证明改进后协议的正确性。
- 陈力琼陈克非
- 关键词：TLS协议串空间中间人攻击
- 不同密码体制下挑战-应答协议的分析被引量：7
- 2008年
- 挑战-应答协议只有满足特定的安全条件才能保证实现其认证目标,用串空间模型对满足约束条件的协议形式进行建模,分别在对称和非对称密码两种密码体制下用认证测试方法对双方的互认证性进行形式化地分析,找出协议的漏洞及其形成的原因。凭借测试元素进一步完善不同密码体制下挑战-应答协议的约束条件,以保证其实现互认证的要求,并为设计更复杂的认证协议提供依据。同时也从另一角度证明了基于串空间模型的认证测试方法在协议的形式化分析领域的重要价值。
- 陈贤陈力琼阔永红
- 关键词：串空间对称密码体制非对称密码体制
- 模块化项目驱动在“java程序设计”课程教学中的应用被引量：2
- 2011年
- java程序设计对计算机相关专业的学生是一门非常重要且实践性很强的课程,文章针对传统授课方式所产生的一系列问题,提出了模块化项目驱动的授课新模式,并详细介绍了这种新的授课方式在具体实施中的应用及效果。
- 陈力琼吉梅
- 关键词：JAVA程序设计模块教学
- 基于消息匹配的认证协议分析被引量：1
- 2008年
- 为了有效地分析和验证认证协议的安全性,找出协议的漏洞,介绍一种基于消息匹配的形式化分析方法。利用串空间对协议进行建模,吸取模型检测的思想,分析攻击者可能扮演的角色以及协议的执行规则,在此基础上逐步给消息和主体知识集中的变量进行赋值,并匹配消息中已被确定的常量,以此找出具体的攻击路径。同时,结合认证测试方法简化分析步骤,针对分析过程对协议进行有效的改进。
- 陈力琼陈克非
- 关键词：串空间知识集
- JBPM工作流在教务管理系统中的应用被引量：9
- 2011年
- 在讲述工作流概念的基础上,对开源工作流管理系统jBPM(Java Business Process Management)进行了分析。从高校教务管理的需求和系统的建设目标出发,开发了一套基于jBPM的教务管理系统。以调课申请的流程为例,详细介绍了该流程的设计与实现。
- 吉梅陈力琼
- 关键词：教务管理工作流JBPM
- 认证测试方法的改进及应用被引量：1
- 2008年
- 基于串空间模型的认证测试方法被证明是一种分析认证协议的有效工具,为了使之适用于类型更多、规模更大的安全协议,并提高其在协议的认证性、可达性、机密性、非否认性、会话密钥的新鲜性及主体间的关联度上的分析能力,对原有的认证测试方法进行改进,充分利用消息格式,细化分析步骤,增添相关符号以分析复杂协议的更多安全特性。利用该方法能缩减模型检测自动化工具的搜索范围,在解决空间爆炸问题的同时有效地找到多方协议的具体攻击路径,而且它对安全协议的设计和验证也具有一定的指导作用。
- 陈力琼陈贤
- 关键词：串空间
- 串空间模型的拓展和应用
- 随着Internet技术的发展，安全协议在电子商务和电子政务中的应用越来越多。与此相应的就是人们对协议的安全性更加关注，随之涌现出各种安全协议的形式化分析方法。本文简要介绍了串空间模型的符号系统及其基本概念和理论，分析了...
- 陈力琼
- 关键词：串空间模型安全协议密码体制逻辑推理
- 文献传递
