计算机组成原理混合式教学改革

围绕混合式教学改革思路定位、课堂教学及在线学习学时分配、课程考核方式、在线学习资源建设、微课视频制作、教学实施措施、自评价体系等方面,介绍计算机组成原理课程教学改革总体设计,在此改革方案的指导下,实施多轮混合式教学改革创新实践,推进线上与线下学习、教师讲授与学生自学、课内与课外学习、个人自主与分组协作学习的深度融合。

基于CPN的安全协议形式化建模及安全分析方法

为了解决有色Petri网(CPN)对安全协议进行形式化建模分析时,仅能判断协议是否存在漏洞而无法找出漏洞具体位置和攻击路径的问题,以及CPN建模时随着攻击者模型引入,安全协议的形式化模型可能的消息路径数量激增,状态空间容易发生爆炸导致难以提取准确攻击路径的问题,改进了基于CPN的安全协议形式化建模方法,验证并提取攻击路径的同时,采用更细粒度的协议建模及控制。在状态空间收敛方面提出了CPN模型不同进程在各分层模型中等待-同步的方法控制状态空间规模。通过针对TMN协议的安全评估分析,成功提取出该协议25条攻击路径,评估了该协议安全性的同时证明了所述方法的有效性。