敏捷开发模式在本科计算机科学与技术专业教学中的应用探索

敏捷开发思想是软件工程领域中新兴的一种软件开发哲学，它的出现为沉闷的软件开发带来了一股清新的风气。本文首先分析了传统软件工程思想在本科计算机科学与技术专业教学中面临的一系列问题及成因，然后阐述了把敏捷开发思想引入本科计算机科学与技术专业教学实践的实施方案，并对照比较了两者截然不同的教学效果，最终导出“敏捷开发”更适合本科专业教学学情这一结论。     

基于密码协议实现的行为安全分析模型

提出了一种基于密码协议实现的行为安全分析模型,该模型把密码协议实现分2个部分:一是外部行为(开放网络空间交互通信的行为);二是内部行为(代码实现的行为)。通过行为的可控性,能够发现、控制或纠正密码协议实现的安全。基于该分析模型方法,以经典的密码协议为实例进行模拟实验。实验结果表明,密码协议实现的行为安全是可控的。