论文部分内容阅读
面向应用领域的可信软件模型的建模与评估，是在现有的可信计算硬件平台和可信的操作系统之上，实现可信的Web应用、可信的应用软件和可信的开放网络环境的关键。详细介绍了可信软件建模技术、模型的验证及度量方法等，并讨论了所提的可信软件模型和安全评估方法在电信领域的应用及分析。
开放网络环境下电信领域可信软件模型和安全评估
【摘 要】
：
面向应用领域的可信软件模型的建模与评估，是在现有的可信计算硬件平台和可信的操作系统之上，实现可信的Web应用、可信的应用软件和可信的开放网络环境的关键。详细介绍了可信
【机 构】
：
南京邮电大学软件学院,苏州出入境检验检疫局,南京邮电大学计算机学院
【出 处】
：
中国电子科学研究院学报
【发表日期】
：
2008年6期
其他文献
自美国次贷危机而引发的全球性金融危机之后，各国科学技术发展进入了一个缓慢、滞碍期，发展中国家与发达国家的技术差距不断缩近，能否保持自己的领先优势成为了发达国家优先考虑的问题，战略性新兴产业的培育与加强就是恢复经济和改变原有产业结构的一大突破点。战略性新兴产业与科学技术发展密不可分，加快培育和发展战略性新兴产业，对我国尽早实现现代化、先人一步占据技术高点有着非同寻常的战略意义，所以湖南省要紧跟时代步
如何快速、实时地进行通视分析，进而提取出波束内可见目标是机载GMTI雷达仿真的一个重点、难点。为解决此问题，在分析常见算法的基础上设计了一种快速算法，并基于典型的应用背景
OFDM（正交多载波调制）是一种在无线环境下具有较高频谱利用率的多载波调制技术,它具有较强的对抗多径干扰和消除符号间干扰的能力。基于Vogler模型出发,根据实测的短波信道参数
多少年来，人们从来没有像今天一样对江河山川、一草一木如此动容，也从来没有像今天一样对自然生态如此尊崇。 在圣地延安的东南缘，有一个被誉为“陕西的一叶肺”、黄土高原上的香格里拉的田园小城。这里有连绵起伏、重峦叠嶂的山脉，这里有群山吐翠、万木葱茏的森林，这里有天朗气清、沁人心脾的空气，这里有清澈见底、奔流不息的河流……这里更有勤劳智慧包容相济的人民，这就是玲珑秀美的黄龙县。 黄龙有着悠久的历史。她
共享经济是指拥有闲置资源的机构或个人有偿让渡资源使用权给他人,让渡者获取回报,分享者利用分享他人的闲置资源创造价值。共享经济模式不仅可作为一种有效解决和处理当前陕
雷达辐射源识别既是雷达侦察系统中信号处理的重要内容，同时又为判断敌方武器威胁、战场态势评估提供依据。为准确解决辐射源识别问题，研究了粗糙集中基于可辨识矩阵和逻辑运算