【摘 要】
：
随着信息系统在社会生活中越来越重要,越来越必不可缺,人们对信息系统的安全性需求也不断地增加.不允许出现安全性漏洞的非常重要的信息系统,其安全性规格必须要使用形式化方
论文部分内容阅读
随着信息系统在社会生活中越来越重要,越来越必不可缺,人们对信息系统的安全性需求也不断地增加.不允许出现安全性漏洞的非常重要的信息系统,其安全性规格必须要使用形式化方法来描述且验证才是可靠的.介绍了在世界上首先提出的基于国际通用标准CC（ISO/IEC15408）的安全性规格描述及验证方法.把国际通用标准CC中定义的功能元素作为信息安全性评价标准,用形式化规格描述语言Z和时序逻辑来进行形式化描述.另一方面,用UML把保护轮廓PP模式化,并在用Z形式化地描述了目标信息系统的安全性规格之后,采用定理证明方法和模
其他文献
新课程标准下的数学课堂教学不再是问学生“你会了吗”，而是让学生真正地去理解数学，合作交流作为新课程所提倡的一种学习方式，是学生之间相互促进性的生生互动学习活动，它能增强
<正> 至少,我们有必要重新审视和考察以悲剧形式出现的《林兰香》在明末清初小说群中所完成的艰难的超越。它以痛苦的思维方式对生活施以伤感牲的思索,无疑使它背叛了才子佳
本文介绍了从巴西进口木方中首次截获暗瘤长蠹（Dysides obscurus Perty），对其分类地位、寄主与分布、现场检疫、成虫主要鉴别特征进行叙述。
教学目标：1．认知目标：通过本节学习，掌握正确处理简单计算机故障的原理、方法与步骤。在头脑中建立清晰的故障分析流程图，并能灵活应用于实践，解决问题。
目的探讨脊柱脊髓损伤为主严重多发伤临床治疗方法。方法回顾我们收治的33例脊柱脊髓型严重多发伤患者，ISS值18～57，平均26分。脊柱骨折按Denis分型：Ⅳ型10例。Ⅱ型19例。Ⅰ型4例，
近年来,各国纷纷出台政策、法规,将关键基础设施安全提升到国家安全的高度,并开始重视对其网络安全的保护.习近平总书记提出,要努力把我国建设成为网络强国,关键信息基础设施
近年来，虽然我国出口竹、木、藤、柳、草制品增长迅速，产品不断创新，由过去的竹、藤、柳、草编工艺品向附加值较高的木制工艺品、铁艺制品及其混合制品发展，主要产品包括工艺制品
电力系统是国家重要基础设施,其安全稳定运行是社会经济发展、国家安全稳定的重要保障.我国电力系统已经按照国家有关部门的相关规定和要求进行了信息安全防护,但面对当前复
目的传统的眼科诊疗质量管理与控制体系已不能很好满足眼科医院业务不断发展的需要.为了充分发挥新管理模式的优势,提高眼科诊疗质量管理的效率,利用计算机技术模拟眼科诊疗