排序方式: 共有11条查询结果,搜索用时 15 毫秒
1.
随着高等教育的不断推进,高校党建工作也面临着新的挑战,由于毕业班党员的特殊情况,致使毕业班党员管理教育出现盲点,不利于为高校党建工作的顺利开展,本文在分析高校毕业班党员现状的基础上,重点探讨加强高校毕业班党员的教育与管理机制,完善高校党建工作. 相似文献
2.
随着高等教育的不断推进,高校党建工作也面临着新的挑战,由于毕业班党员的特殊情况,致使毕业班党员管理教育出现盲点,不利于为高校党建工作的顺利开展,本文在分析高校毕业班党员现状的基础上,重点探讨加强高校毕业班党员的教育与管理机制,完善高校党建工作. 相似文献
3.
无线射频识别(RFID)是物联网中的一种非接触式的自动识别技术,被广泛运用于构建物物互联的RFID系统。RCIA是一种超轻量级RFID双向认证协议,提供高安全性并声称能抵御去同步攻击。形式化方法是安全协议分析的有力手段。运用模型检测工具SPIN对RCIA协议的认证性及一致性进行验证,结果表明RCIA协议存在去同步攻击漏洞。针对此漏洞,提出基于密钥同步机制的修补方案,对RCIA协议进行了改进。对改进后的协议进行形式化分析与验证,结果表明改进后的RCIA协议具有更高的安全性。提出的协议抽象建模方法对此类超轻量级RFID双向认证协议形式化分析具有重要借鉴意义;提出的基于密钥同步机制的漏洞修补方案,被证明能有效抵御去同步漏洞,可适用于此类超轻量级RFID双向认证协议的设计和分析。 相似文献
4.
5.
无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引理,提出置换规则保证用户交互信息在性质置换过程中的等价转换.通过事件逻辑构建客户端与LTCA认证协议的基本序列,对协议交互动作进行形式化描述并证明协议强认证性质.在合理假设下,无线Mesh网络客户端与LTCA间认证协议的安全性得证,研究表明事件逻辑理论不仅可以论证无线网络协议的安全属性,还能对安全协议不同身份主体间的认证性进行证明.通过流程图简化协议形式化证明步骤,阐述事件逻辑理论证明协议安全属性过程,比较分析事件逻辑理论与其他逻辑推理方法,表明事件逻辑理论具有通用性. 相似文献
6.
学校教育、家庭教育、社会教育是对学生教育过程中至关重要的三个环节,彼此之间相互补充、相互衔接,共同发挥着不可替代的作用。我们必须努力做到让三者在教育理念、方式方法上达到和谐统一、形成合力,才能促进学生的全面发展。 相似文献
7.
8.
无线Mesh网络是一种结合无线局域网和移动自组织网络的新型多跳网络,无线网络的开放性和资源受限性使得无线网络容易遭受重放、伪装等攻击。事件逻辑是一种描述并发与分布式系统中状态迁移和算法的形式化方法,可用于证明网络协议的安全性。以事件逻辑为基础提出一系列性质,其中包含多组合信息交互、不叠加、事件匹配、去重复、去未来,以降低协议分析过程中的冗余度以及复杂度,提高协议分析效率。对无线Mesh网络客户端双向认证协议进行分析,证明该协议能够抵抗中间人发起的重放攻击,无线Mesh客户端双向认证协议是安全的。此理论适用于类似复杂无线网络协议形式化分析。 相似文献
9.
传统的PACS系统存储和维护海量医疗影像数据成本高昂,且经由DICOM协议传输的影像数据容易遭到黑客攻击,造成数据被非法篡取、病人隐私泄露等数据安全性问题。提出一种PACS云服务模型以满足数据存储、维护、安全传输等需求。设计的统一身份认证框架采用基于USB Key强身份认证方案和基于SSL通用身份认证方案两种混合验证模式,经过安全性分析表明,此框架能够保证数据的秘密性、认证性和完整性,并能抵御常见的中间人攻击、重放攻击和字典攻击,有效确保云PACS系统中DICOM协议安全通信。 相似文献
10.
以Sr(NO3)2和Ti(OC4H9)4为主要原料,以NaOH为矿化剂,在175℃下反应60min,水热合成了颗粒大小均匀,粒度约在100nm的SrTiO3纳米粉体.将Ti(OC4H9)4先溶于无水乙醇中,再与NaOH反应生成前驱物TiO(OH)2,在80℃下热处理2h,可以大大减少产物中的杂质相,得到纯度较高的SrTiO3粉体.由XRD图谱分析发现,在合成过程中加入机械搅拌得到的粉体,晶化更完全.由此粉体制备的SrTiO3压敏陶瓷材料经电性能测试,其压敏电压为18?V,非线性系数为46,介电损耗为0.078,相对介电常数ε=2.7×104. 相似文献