简介:类BAN逻辑是密码协议分析和设计的主要工具,文章在分析了类BAN逻辑之后,指出了这些逻辑的缺陷,并对类BAN逻辑的缺陷进行分类,最后指出进一步发展类BAN逻辑应解决的问题。
简介:改革开放以来,我国一直在大力推进高等教育的制度创新。之所以要对高等教育制度进行创新,是因为这种制度导致了高等教育效益低下。这种低效率的制度,产生了大量的低效率的结果,以至高等教育远远不能适应市场经济发展的要求。为此,以提高高等教育效益为切入点的制度创新,一时成为高教体制改革的热门话题。但高等教育要顺利进行制度创新,提高高等教育效益,我们首先需要对导致我国高等教育效益低下、自身创新不足的制度背景以及在这种制度背景下运作的高等教育制度特征进行深入分析,来对可供选择的高等教育制度创新方案的有用性作出评价,从而提高高等教育制度创新的实效性。