对复数教材的分析与研究

正确确定进行复数教学的指导思想 1°明确复数的教学任务。在中学代数課程里,“复数”一章的教学是相当重要而又富有現代数学意义的。因为这个課題,給出了以前各个学期中学习过的关于数的知識的总結,使学生获得关于近代代数的概念,懂得扩张数体的一些观念,     

安全协议分析中参与者个数上确界的论证

为了明确安全协议分析和验证中所必需的参与者个数的上确界,改进了基于Horn逻辑的踪迹模型,在该模型中增加了策略向量,描述了攻击者对消息的截留能力以及消息接收的不确定性;提出了在Herbrand域和Herbrand基上的映射,该映射将潜在无穷的参与者限制在有穷的个体内;使用该映射给出了分析安全协议的保密性所必需的参与者个数的上确界n(ψ),定义了语义保持.结果显示,对于安全协议的任意安全性质,若其Horn子句与协议程序在影射后保持原来的语义关系,则町以得出分析该性质所必需的参与者个数的上确界.     

强制性法规标准的实例

GSM GSM是强制性法规标准的支持者引以自豪的例子,希望通过它证明强制性法规是成功的。GSM的确取得了令人注目的极大成功,但是值得注意的是,即使更大的成功,比如VHS和模拟盒式录音带,也不是靠标准的强制性法规取得的。它们只是已成事实的标准。 因为GSM供应商的市场竞争,许多国家正在选择GSM。然而,真正的问题是:“如果不是强制性执行,该标     

检查项灵活的网络访问控制研究

针对传统网络访问控制系统在灵活性以及扩展性方面的不足，设计和实现一种支持检查项灵活扩展的网络访问控制系统。该系统分析和列出了检查实施操作所依赖的各种特征要素，安全管理员可基于这些特征要素进行检查项的定制，并基于所定制的检查项设置相应的访问控制规则。测试结果表明该系统仅通过界面配置即可实现对新检查项的支持。