【摘 要】
：
信息时代,网络安全问题备受关注。在网络接入过程中,现有方案大部分只审核用户身份而缺乏对设备安全状况的验证,导致合法用户的非法设备逃过检查,接入网络。利用可信计算技术
论文部分内容阅读
信息时代,网络安全问题备受关注。在网络接入过程中,现有方案大部分只审核用户身份而缺乏对设备安全状况的验证,导致合法用户的非法设备逃过检查,接入网络。利用可信计算技术,提出一种底层使用可信加密模块且符合国家标准的用于园区网络接入的可信网络连接方案。通过BAN逻辑形式化证明了该方案的安全性,并编写测试程序在实体环境中对方案的有效性进行了测试。
其他文献
不宁腿综合征(restless legs syndrome,RLS)与卒中均为神经系统常见疾病。研究提示RLS增加卒中的发病风险,而且卒中患者RLS发病率也明显升高。急性缺血性卒中合并RLS可能与梗
<正>不宁腿综合征（RLS）亦称Willis-Ekbom病（WED）,是临床常见的神经系统运动感觉性疾病。流行病学调查显示,不同国家和地区成人不宁腿综合征患病率不同,欧美国家患病率明显高于亚
针对平面交叉口规划设计的重要性,从平面交叉口的基本形式、交通组织、平面设计、竖向设计等方面介绍了道路平面交叉口的设计,指出交叉口设计既要使通行能力适应各条道路的行
“emulation”乃是18世纪法国精英经常谈及的概念，在启蒙时代的文化与社会生活中扮演了颇为重要的角色。该词具有竞争之含义，但它所指的不是对于利益、权力与财富的争夺，而是在
马铃薯是我国的重要粮食之一,产量大,销量高,同时作为主要粮食作物和经济作物。但是在种植栽培过程中,缺乏一些防治病害虫害的措施,导致马铃薯出现了很多减产、质量下降的情
初级汉语作为留学生汉语习得的重要阶段,其学习效果对之后的中高级汉语学习有着很大的影响。词汇教学在这一阶段的地位极为重要,留学生的词汇学习在很大程度上依赖于教材,然
随着汽车数量急剧增加,附加的洗车行业也得到迅速发展。本文构思并设计了一种自驱动洗车设备,其摒弃了电力支持,直接利用被洗车辆车轮带动设备来进行清洗。该自驱动洗车清洗设备主要分为两大部分:一是由槽钢焊接而成的钢构架、钢构架上的覆板及传动部件组成的结构部分;二是由链接在传动件上的柱塞泵、清洗软管、扇形喷嘴等组成的喷洗部分。本文负责结构部分的设计及后续的优化工作。所设计的结构部分通过CREO、ANSYS软
背景:多篇文献报道在衰老期海马神经发生出现障碍,最终导致学习记忆能力的减退。但是究竟哪个环节的改变导致这种减退的发生并不明确。目的:了解衰老过程中小鼠海马齿状回颗
随着新课改进程的不断推进,每个学科都开始了课程的改革,地理这一学科也不例外,在地理学科改革的过程中,也暴露出来了许多的问题。文章通过查阅相关资料,简要介绍了高中地理
信托与行纪作为不同的法律制度 ,有着本质的区别 ,但我国学界对于二者并未作严格区分。本文通过对二者在概念、法律构成、财产关系以及权利义务方面的比较 ,弄清信托与行纪的