摘要：挑战-应答协议只有满足特定的安全条件才能保证实现其认证目标,用串空间模型对满足约束条件的协议形式进行建模,分别在对称和非对称密码两种密码体制下用认证测试方法对双方的互认证性进行形式化地分析,找出协议的漏洞及其形成的原因。凭借测试元素进一步完善不同密码体制下挑战-应答协议的约束条件,以保证其实现互认证的要求,并为设计更复杂的认证协议提供依据。同时也从另一角度证明了基于串空间模型的认证测试方法在协议的形式化分析领域的重要价值。

摘要：java程序设计对计算机相关专业的学生是一门非常重要且实践性很强的课程,文章针对传统授课方式所产生的一系列问题,提出了模块化项目驱动的授课新模式,并详细介绍了这种新的授课方式在具体实施中的应用及效果。

摘要：介绍了工作流原理,分析了教学过程的特殊性。在此基础上,利用XML及Java等相关技术有针对性地构建了一种工作流管理系统。从流程定义、数据保存、技术实现方面描述了工作流的设计及实现,并以作业流程为例阐述了其在实际教学过程中的可行性和实用性。

摘要：基于串空间模型的认证测试方法被证明是一种分析认证协议的有效工具,为了使之适用于类型更多、规模更大的安全协议,并提高其在协议的认证性、可达性、机密性、非否认性、会话密钥的新鲜性及主体间的关联度上的分析能力,对原有的认证测试方法进行改进,充分利用消息格式,细化分析步骤,增添相关符号以分析复杂协议的更多安全特性。利用该方法能缩减模型检测自动化工具的搜索范围,在解决空间爆炸问题的同时有效地找到多方协议的具体攻击路径,而且它对安全协议的设计和验证也具有一定的指导作用。

摘要：在讲述工作流概念的基础上,对开源工作流管理系统jBPM(Java Business Process Management)进行了分析。从高校教务管理的需求和系统的建设目标出发,开发了一套基于jBPM的教务管理系统。以调课申请的流程为例,详细介绍了该流程的设计与实现。

摘要：为优化以菜籽粕与麸皮为基质产纳豆激酶培养基组成,在单因素实验基础上,选择不同速效氮源、速效碳源、无机盐的种类及其添加量为自变量,纳豆激酶酶活为响应值,利用Box–Behnken中心组成设计原理,设计三因素三水平响应面试验,建立回归模型。经响应面分析,回归模型具有较高拟合度。结果显示优化后培养基组成为:菜籽粕∶麸皮(W/W)=1∶4基础培养基中,尿素添加量0.61 g/100g,葡萄糖添加量1.28 g/100g,氯化镁添加量0.64 g/100g,在初始pH 7.0,温度37℃条件下发酵48 h,纳豆激酶酶活达到7 329.76I U/g,较基础发酵培养基提高1.73倍。