【摘 要】
：
目前，对可信信道的评估大多局限于经验的评测，缺乏理论支持，存在着极大的不确定性和不完备性．对此基于通用安全标准CC（Common Criteria）给出了具有一定通用性和可重用性的可信信道
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京大学计算机科学与技术系
论文部分内容阅读
目前，对可信信道的评估大多局限于经验的评测，缺乏理论支持，存在着极大的不确定性和不完备性．对此基于通用安全标准CC（Common Criteria）给出了具有一定通用性和可重用性的可信信道评估框架，在此评估框架中应用了形式化的验证方法，提出了把经验分析和形式化验证相结合的评估方法．同时在对SSH的评估中对Cord演算作了适应性的扩展．
其他文献
以发电站的改扩建优化设计为工程背景,通过Lingo,Mathematic,Matlab等数值计算软件建立总装机量计算模型和装机顺序优化模型。以最少投资为原则建立目标函数,采用整数规划的
民用建筑"接地不畅"引发的火灾原因较多,安全事故不断,针对接地不畅保护、总等电位和局部等电位连接保护、各种系统等电位连接保护3个方面进行了介绍,同时探讨了民用建筑避免
<正>城市污水及工业废水对环境造成的污染,国内外早已引起重视,但固体废物对环境造成的危害,目前在我国尚未引起足够的注意.固体废物不仅污染环境,而且破坏水资源,在固体废物
陈望衡,籍贯湖南双峰,1944年出生于湖南邵阳,日本大阪大学文学博士、武汉大学哲学系教授(二级)、美学专业博士生导师、中华美学学会常务理事,享受国务院特殊津贴专家。曾任浙
分层教学模式是依据个体差异和"因材施教"理论提出的一个崭新命题。本文在分析了当前中学英语教学普遍存在的问题的基础上,对分层教学模式的优势作了论述。
陶瓷注射成型是一种制备形状复杂陶瓷器件的精密成型技术。由于脱脂难度较大，该技术通常被认为只适合生产小型或薄壁零件。为了用粉末注射成型生产形状复杂、大厚度、大尺寸的
目前的数学导课已经不同于传统的教学模式,传统的教学模式已经跟不上现代的教学需要。儿童要在实践中获得知识,将电教媒体引入小学数学导课是现代化教学的需要,在小学数学导
文章在我国物流园区发展现状与相关理论基础上,提出了物流集聚区是一种以物流业为主的新型服务地域综合体,是物流网络系统中最高等级的网络节点。认为区位条件(自然区位、交
为有效解决谭坪高瓦斯矿井大采高综采工作面瓦斯抽采困难、瓦斯超限等问题,结合谭坪矿的矿山工程实际以及微震技术,通过工作面采动影响下裂隙发育演化过程的分析,提出了瓦斯
《富兰克林自传》是第一部个人奋斗成功者的杰作。无论何时何地,富兰克林都是一位伟大的人物,在他身上,精神与意志、天资与奋斗、力量与闲适、机智与文雅都融为一体。