赵华伟
- 作品数:47 被引量:107H指数:7
- 供职机构:山东大学更多>>
- 发文基金:国家自然科学基金山东省自然科学基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术电子电信文化科学语言文字更多>>
- 一种调和两种观点的安全协议分析法被引量:2
- 2006年
- 在安全协议的形式化分析中,有两种完全不同的观点:符号方法和计算方法,两者各有优缺点.通过对两种观点的研究,按照优势互补的原则将两者相调和,建立了一种新的形式化分析方法.该方法将协议的安全性分为完全性和正确性,通过分析这两种性质,不仅能考察协议在逻辑上能否达到预期目标,而且能考察敌手在计算上的攻击能力.第一次从逻辑可靠性和计算可靠性两方面对协议进行了综合的安全性分析.
- 赵华伟李大兴
- 关键词:计算方法
- 一种时间相关的分析安全协议的扩展逻辑被引量:1
- 2005年
- 在对CS逻辑进行研究的基础上,提出了CS逻辑的扩展逻辑。该扩展逻辑对CS逻辑中存在的一些缺陷进行了修改和扩展,使其不仅可以分析公钥协议,还可以分析对称密钥协议。最后对一个协议实例进行了有效的形式化分析。
- 赵华伟李大兴秦静
- 关键词:形式化分析
- 无线传感器网络定位系统研究
- 王英龙郭强孔祥龙刘瑞霞舒明雷魏诺付勇杨媛媛赵华伟武鲁吕家亮
- 解决的主要技术问题:1.系统设计出具有无线通信、可移动、数据采集处理、协同合作等功能的节点,通过将这些节点随机或者特定地布置在目标区域中形成自组织网络,获取周围环境或者管理所需的信息。2.系统具有数据采集功能,实现连接不...
- 关键词:
- 环境信息远程查询及实时告警系统
- 本实用新型公开了一种环境信息远程查询及实时告警系统,其包括以环境感知传感器节点为采集终端节点并含有中心组网节点的无线传感网络和连接所述中心组网节点的信息管理主机。本实用新型可扩展性好,且布设方便。
- 赵华伟
- 文献传递
- 基于SD密码卡的物联网健康医疗服务系统及安全通信方法
- 本发明的基于SD密码卡的物联网健康医疗服务系统,包括证书服务器、WEB服务器、传感器、用户端;SD密码卡中存储有用户端证书、CA公钥和公钥<Image file="DEST_PATH_DEST_PATH_IMAGE002...
- 王英龙赵华伟舒明雷郭强黄太波刘瑞霞杨明孔祥龙魏诺许继勇杨媛媛
- 文献传递
- 当代中国大学生信仰教育问题研究
- 信仰是个永恒的话题,也是个深奥的命题。因为信仰的存在,人与动物才有了最为本质的区别。学界对信仰的研究成果非常多,但对于信仰重要程度的认识仍旧不足,所谓“正本清源”,“本”尚未正,“源”尚未清,对于信仰教育的研究也就凸显出...
- 赵华伟
- 关键词:大学生信仰教育
- 一种无线传感器网络路由表安全性的攻击测试方法
- 本发明的无线传感器网络路由表安全性的攻击测试方法,包括以下步骤:a.利用sniffer工具和协议分析工具获得网络的信道号码和PANID号码;b.配置测试路由节点;c.将测试路由节点置于待测网络中;d.组网申请,获取测试路...
- 赵华伟郭强舒明雷刘瑞霞吕家亮魏诺
- SSL中针对伪装攻击的技术改进
- 2011年
- SSL协议是在TCP/IP的IP套接层的安全协议,应用越来越广泛,但是在实际应用过程中遇到的一些非法攻击,本文并对本文针对在SSL连接中出现的伪装攻击,提出一种安全可行的解决方案。
- 刘哲徐如志赵华伟
- 关键词:SSL伪装攻击信息安全
- 无线体域网对称密钥协商方法
- 本发明的无线体域网对称密钥协商方法,设由节点A向B发起承诺,特征在于,节点A在<Image file="2012103043870100004DEST_PATH_IMAGE002.GIF" he="5" imgConte...
- 顾卫东赵华伟舒明雷郭强刘瑞霞魏诺孔祥龙杨明杨媛媛许继勇马继鹏
- 文献传递
- 基于两种加密机制的ZigBee网络密钥管理方案被引量:1
- 2011年
- 网络的安全性问题是制约ZigBee无线传感网络飞速发展的主要原因。密钥管理是保证网络安全性的基础,本文利用多边形顶点和边及对角线数目的关系,对网络大小和多边形顶点数目的关系进行统计分析,提出一种密钥管理方案,安全性能较高,对存储和计算的要求较低,节省了保证网络所需要的资源,对进一步研究ZigBee网络安全具有理论指导意义。
- 潘金秋赵华伟徐如志黄太波
- 关键词:ZIGBEE网络加密算法密钥管理