基于身份认证的BACnet/IP 分析与改进

谢鹏寿, 朱家锋, 康永平, 冯涛, 李威, 冉玉翔 - 通信学报, 2024 - infocomm-journal.com
为了解决BACnet/IP 身份认证存在多种可攻击漏洞和密钥泄露带来的安全问题,
提出了一种安全增强的BACnet/IP-SA 协议认证方案. 研究协议身份认证消息流模型 …

基于BAN 逻辑的SIP 网络认证协议安全性研究

张兆心, 杜跃进, 方滨兴, 张宏莉 - 高技术通讯, 2010 - cqvip.com
利用BAN 逻辑对会话初始化协议(SIP) 网络采用的超文本传输协议(HTTP) 摘要认证协议进行了
形式化分析和推导. 通过严格的逻辑推导, 证明哪摘要认证协议存在不足, 以及由此产生的伪装 …

[PDF][PDF] Formal security evaluation and improvement of BACnet/IP protocol based on HCPN model

T Feng, SM Zhao, X Gong - International Journal of Network …, 2022 - ijns.jalaxy.com.tw
The BACnet/IP protocol is widely used in building automation systems. However, while
realizing remote monitoring of building equipment, it faces a more significant threat of cyber …

[PDF][PDF] A new scheme of BACnet protocol based on HCPN security evaluation method

T Feng, XY Jiang, JL Fang, X Gong - Int. J. Netw. Secur, 2022 - ijns.jalaxy.com.tw
They are building automation or management systems control services such as heating, air
conditioning, and safe aisles in a facility. The standard protocol used to transmit data about …

[PDF][PDF] Active Networks Protocol Specification for Hop-By-Hop Message Authentication and Integrity

B Lindell - ABONE-DRAFT, December, 1999 - Citeseer
This document proposes a protocol specification of the Hop-By-Hop Message Authentication
and Integrity described in the ABone Network Security Architecture [1]. It defines a new …

支持IP 网络访问认证协议PANA 的研究

张利平, 陈辉, 张颖江 - 计算机安全, 2006 - cqvip.com
支持IP网络访问认证协议PANA的研究-[维普官方网站]-www.cqvip.com-维普网  我的维普 购物车
充值 客服 首页 | 期刊大全 | 文献分类 | 优先出版 | 论文检测 | 论文选题 | 在线分享 | 学者空间 …

现代网络安全: SIP 网络中的DIAMETER 鉴定

达米卡 - 计算机工程, 2007 - cqvip.com
作为整个现代网络安全的基础, 该文提出了验证的概念, 它是会话初始化协议(SIP)
网络中合并了可扩展认证协议(EAP) 验证体系的一种机制. 研究表明, SIP 验证可以由EAP …

[HTML][HTML] 2 The BACnet Protocol

O Gasser, Q Scheitle, B Rudolph, C Denis, N Schricker… - journals.riverpublishers.com
BACnet development was started in 1987 (20), with the first release in 1995 by ASHRAE.
BACnet was designed as a standalone network protocol, including its own network layer …

一个新的认证协议及其形式化分析

文静华, 张梅, 李祥 - 计算机工程, 2006 - cqvip.com
认证协议是网络安全体系中最基本和最关键的问题. 在传统认证协议的基础上,
提出了一个新的认证协议. 经过用BAN 逻辑对这个协议进行了形式化分析 …

Network access security for the internet: protocol for carrying authentication for network access

R Marin-Lopez, F Pereniguez-Garcia… - IEEE …, 2012 - ieeexplore.ieee.org
Network access authentication is a key procedure for network operators to control user
access to the network service. The IETFs recently finished its major work in this area by …