高悦翔
- 作品数：14 被引量：38H指数：3
- 供职机构：西南交通大学信息科学与技术学院更多>>
- 发文基金：四川省教育厅青年基金国家自然科学基金河南省高等学校青年骨干教师资助计划项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于SNMPv3的网络管理系统的安全性研究
- 随着计算机网络的迅速普及和发展，计算机网络的规模越来越大，结构也越来越复杂，要保障它的可靠运行也越来越难，所以需要一个完善的、功能强大的网络管理系统来保证计算机网络的可靠和稳定运行。自90年代初以来，网络界普遍采用SNM...
- 高悦翔
- SNMPv3中VACM安全模型的研究
- RFC2275定义了基于视图的访问控制模型(view-based access control model,VACM).在VACM中包含5个基本元素,并利用这5个元素来检查对被管理信息的访问权限,VACM的访问控制策略就...
- 高悦翔姚家宁
- 关键词：网络通信协议访问控制模型
- Ad hoc网络中认证路由协议的改进及其安全性分析被引量：4
- 2011年
- 提出了Ad hoc网络中的ARAN协议存在合谋和重放两种攻击。为了克服ARAN协议中的上述缺陷,给出了一个改进协议eARAN。改进协议在原有协议的基础上,在路由请求数据包中添加了发送该数据包的所有中间节点的身份,即路由路径,而目的节点要对最终得到的完整的路由路径进行签名,并将其作为路由响应数据包的一部分发回给发起节点,以此保证路由路径的正确性和完整性。最后,使用扩展后的串空间理论分析了改进协议eARAN的安全性,分析结果显示,eARAN协议是安全的。
- 闫丽丽彭代渊高悦翔
- 关键词：ADHOC网络形式化分析路由协议串空间
- 基于串空间模型的WAI密钥协商协议分析被引量：1
- 2008年
- WAPI实施方案中采用WAI(WLAN Authentication Infrastructure)协议来进行密钥协商,运用串空间模型分析验证了WAI协议中的单播密钥协商协议的实施方案,指出该实施方案较之原方案,安全性有了较大的提高。同时,利用该协议STA以及AP能够实现双向身份认证,并能安全地协商到会话密钥。
- 高悦翔李敏
- 关键词：串空间
- 电子商务安全协议的设计与形式化分析
- 随着计算机网络的飞速发展，电子商务逐渐成为人们进行商务活动的新模式。电子商务安全协议是构建电子商务安全环境的基础，是保障电子商务顺利应用与发展的关键技术。电子商务安全协议是以密码学为基础的消息交换协议，参与者采取的一系列...
- 高悦翔
- 关键词：电子商务安全协议信息安全形式化分析
- 一种适用于移动环境的公平移动支付协议被引量：2
- 2013年
- 针对移动环境中网络及计算条件受限的情况,在考虑有效性和支付效率的基础上,设计了一个适应于移动环境的公平移动支付协议。该协议由认证、支付、恢复、结算四个子协议构成。在认证协议中通过基于Hash函数的动态ID机制满足了双向认证、有限的匿名性和不可追踪性,并获取不可伪造性的、可重用的支付证书。在支付过程中基于变色龙Hash函数和双Hash链,实现了交易的匿名性、可追究性和公平性。最后利用Kailar逻辑对协议的可追究性和公平性进行形式化分析,结果表明:协议在保持较高执行效率的同时,能满足可追究性和公平性,适用于在移动环境以及类似的通信、计算条件受限的环境中使用。
- 高悦翔彭代渊汤鹏志
- 关键词：移动支付HASH链KAILAR逻辑
- 动态角色访问控制模型的研究与应用被引量：5
- 2009年
- 文章在回顾当前的访问控制研究状况和进展的基础上,提出了一个动态角色分级访问控制模型。在该模型中,引入了角色扮演者概念和分级角色管理机制,有效增强了在教务管理系统中访问控制的灵活性、独立性和扩展性,完善了教务管理系统的权限管理,提高了安全性,为教务管理系统提供了更为全面的访问控制机制。
- 李敏高悦翔
- 关键词：访问控制教务管理系统
- 一种挂号电子邮件协议的设计及其形式化分析被引量：2
- 2008年
- 挂号电子邮件协议需要具备保密性、不可否认性及公平性。提出了一种基于在线第三方的挂号电子邮件协议,以满足挂号电子邮件的一般安全特性。利用扩展Kailar逻辑对该协议进行分析,说明该协议满足不可否认性及公平性,并具有抗篡改、重放等攻击及第三方无法获得邮件内容等优点。
- 高悦翔彭代渊
- 关键词：不可否认性形式化分析KAILAR逻辑
- 智能化系统集成的开放工业标准—OPC DX技术被引量：2
- 2003年
- 1引言
OPC(OLEfor Process Control)基金会与其它现场总线国际组织合作,在2002年汉诺威工业博览会上展示了第一个基于OPC DX(Data eXchange)的演示系统,该系统演示了在利用OPC DX技术在以太网中实现EtherNet/IP、PROFInet、高速以太网(HSE)和INTERBUS四种总线系统之间协同工作的能力,也充分展示了自动化设备生产厂商和用户利用OPC DX通过以太网建立不同总线的无缝连接并进行现场和综合数据交换的优越性,同时该标准已在2002年6月底提交OPC基金会会员审阅.
- 周明强高悦翔王波
- 关键词：OPCDX智能化系统集成
- 传感器网络安全协议的分析和改进被引量：8
- 2011年
- 分析A.Perrig提出的传感器网络安全协议套件的安全性,发现其中的节点密钥协商协议存在攻击,即攻击者可以冒充合法节点发送密钥协商请求。针对以上攻击,给出了一个改进协议。为了分析改进协议的安全性,对原始串空间理论进行了扩展,并使用扩展后的理论从保密性和认证性两个方面分析了改进协议的安全性。分析结果显示,改进后的协议是安全的。同时,对串空间理论的扩展,为其能够分析较复杂的安全协议打下了基础。
- 闫丽丽彭代渊高悦翔
- 关键词：无线传感器网络安全协议形式化分析串空间
