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

为了解决BACnet/IP身份认证存在多种可攻击漏洞和密钥泄露带来的安全问题,提出了一种安全增强的BACnet/IP-SA协议认证方案。研究协议身份认证消息流模型,基于着色Petri网理论和CPNTools对身份认证消息流建模,采用Dolev-Yao攻击者模型和形式化分析方法对BACnet/IP进行安全性分析,发现协议漏洞并提出改进方案。BACnet/IP-SA协议使用设备的伪身份来保护真实身份信息,使用PUF响应进行认证,通过多信息集合的验证值来验证端身份的真实性并生成会话密钥。结合BAN逻辑和非形式化方法,对协议的安全性进行了证明。实验结果表明,所提方案能有效抵抗多类攻击和密钥泄露带来的安全威胁,在减少计算开销的同时增强了协议身份认证的安全性。

Altered expression of stromal interaction molecule(STIM)-calcium release-activated calcium channel protein(ORAI) and inositol1,4,5-trisphosphate receptors(IP_3Rs)in cancer:will they become a new battlefield for oncotherapy?

The stromal interaction molecule(STIM)-calcium release-activated calcium channel protein(ORAI) and inositol1,4,5-trisphosphate receptors(IP_3Rs) play pivotal roles in the modulation of Ca^(2+)-regulated pathways from gene transcription to cell apoptosis by driving calcium-dependent signaling processes.Increasing evidence has implicated the dysregulation of STIM-ORAI and IP_3Rs in tumorigenesis and tumor progression.By controlling the activities,structure,and/or expression levels of these Ca^(2+)-transporting proteins,malignant cancer cells can hijack them to drive essential biological functions for tumor development.However,the molecular mechanisms underlying the participation of STIM-ORAI and IP_3Rs in the biological behavior of cancer remain elusive.In this review,we summarize recent advances regarding STIM-ORAI and IP_3Rs and discuss how they promote cell proliferation,apoptosis evasion,and cell migration through temporal and spatial rearrangements in certain types of malignant cells.An understanding of the essential roles of STIM-ORAI and IP_3Rs may provide new pharmacologic targets that achieve a better therapeutic effect by inhibiting their actions in key intracellular signaling pathways.

Adaptability Analysis of IP Routing Protocol in Broadband LEO Constellation Systems

With the inclusion of satellite Internet as the information infrastructure in China's "new infrastructure" category,relevant domestic industries and scientific research institutes have successively carried out the design of broadband low earth orbit(LEO) constellation systems and key technical research.As the core technology for the satellite-to-ground network communications of a broadband LEO constellation system,routing technology is extremely important for the efficient and reliable transmission of various service data.Focusing on the two important broadband LEO constellation systems in China,in-depth analysis and simulation of the high dynamics of the satellite-to-ground satellites are conducted in this paper to obtain more accurate network topology changes and characteristics;then the adaptability of the ground standard IP routing protocol to the broadband LEO constellation system is analyzed,and an LEO constellation simulation scenario is built with the Opnet software.The simulation results of the convergence performance of the standard IP routing protocol are produced.The results show that the IP protocol does not perform well for LEO satellite constellation networks.Based on the studies,some solutions are proposed to take full advantages of the characteristics of LEO satellite systems.These can also provide a reference for the choice of intersatellite routing architecture and protocol technology for broadband LEO constellation in the future development.

Towards a Methodology for Formal Design and Analysis of Agent Interaction Protocols ——An Investigation in Electronic Commerce

Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent based electronic commerce applications. Recent advances in model checking technology have led it to be introduced into the development of approaches and tools to check the correctness of electronic commerce protocols. This paper focuses on the research of a method that connects an extension of AUML to model checker SPIN/Promela for the specification and verification of agent interaction protocols (AIP) in electronic commerce. The method presented here allows us to combine the benefits of visual specification with the power of some static analysis and model checking. Some algorithms and rules are developed to permit all visual modeling constructs translated mechanically into some Promela models of AIP, as supported by the model checker SPIN. Moreover, a process is illustrated to guide the specification and verification of AIP. The method is demonstrated thoroughly using the e commerce protocol NetBill as an example.

PROOF OF CERTIFICATELESS MIP REGISTRATION PROTOCOL BASED ON PCL

Security protocols are the basis of many mobile communication systems,thus it is important to ensure protocol property correct. Using Protocol Composition Logic (PCL),this paper proves a Mobile IP (MIP) registration protocol that is based on certificateless public key signature without pairing between home agent and foreign agent,which minimizes the registration time and cost as well as improves the security compared with the identity-based and certificate-based registration protocol. Analysis and proof shows that the proposed protocol provides users security and authentications,moreover,the anonymity property is proved correct.

The Design and Implement of TCP/IP Protocol Cluster on AVR Singlechip

With the rapid development of the embedded technology, research and implement of the Internet of things will be a new technology revolution, yet the implement of the Internet of things is on the base of the communication between the things. For this reason, realizing the function of communication between singlechip is particularly important. Based on the characteristics of the embedded microcontroller, we analyzed the traditional PC TCP/IP protocol, and appropriately tailored TCP/IP protocol cluster on the basis of the characteristics of embedded singlechip. At last, we realized the reduced TCP/IP protocol cluster suitable for embedded singlechip, on AVR singlechip platform.

基于车载以太网SOME/IP协议的研究及其在商用车中的应用

由于汽车智能化、网联化的进一步发展,车载以太网不仅在乘用车领域得到了越来越广泛的应用,而且在商用车领域也逐步得到了应用。目前国内乘用车已经逐步采用SOME/IP的通信方案,商用车采用SOME/IP通信技术的报道较少。本文主要介绍SOME/IP数据格式和通信机制,并着重介绍在OTA升级中的应用、SOME/IP的测试内容及相关测试实例。

基于国产FPGA的UDP协议栈IP核设计与实现

为了解决国外芯片供应的不稳定性以及满足设计自主可控的要求,在国产FPGA上采用硬件方式实现基于以太网的UDP通信协议,利用SystemVerilog语言设计了一种UDP协议栈IP核.该IP核支持主动ARP请求、被动ARP应答、ARP表查询、ICMP协议、IP协议、UDP协议以及协议间的仲裁控制;同时支持AMD公司的三速以太网IP核,可以直接与三速以太网IP核适配.该协议栈IP核只采用常用的FIFO IP,其余均以源码形式设计,便于在其他国产FPGA上进行移植部署.最后将设计完成的IP核放在国微SMQ7K325TFFG900芯片上进行了测试.测试结果表明,该IP核可以实现UDP协议通信,性能良好.

改进TCP/IP帧结构的多参数信道传输性能评估方法

目前,网络密集化现象加剧了信道传输性能的恶化。而普遍应用的评估方法由于参数考虑有限和适用范围受限,在信道传输性能评估方面面临显著挑战。针对信道传输性能评估困难的问题,提出一种改进传输控制协议/网际协议(TCP/IP)帧结构的多参数信道传输性能评估方法。首先,生成标准化的测试数据,包括伪随机码、基本曲线数据、自定义曲线数据,以确保测试数据遵循统一标准;其次,使用改进的TCP/IP帧结构,将总帧数、帧序号等测试数据信息封装在TCP/IP帧中,并对测试数据进行收发与解析,统计不同帧类型的帧数量、不同帧长度的帧数量、总帧数和有效数据量这4种基础信道传输信息;最后,分析接收数据得到误帧率和误码率这2种高级信道传输信息,完成信道传输性能的整体评估。所设计的方法采用6种不同的参数对信道质量进行评估,方法评估的精度可达0.01%,最小误差为0.01%,且兼容所有使用TCP/IP进行通信的信道。实验结果表明,所提出的信道传输性能评估方法可以完成对6种信道通信信息的统计与分析,准确评估信道传输性能。

基于SMPTE 2110标准的IP新闻演播室系统设计与实现

常规的新闻演播室系统主要依赖自动化控制,但大量的自动化应用增加了系统的运行负担,进而影响新闻制作的实时性与稳定性。鉴于此,设计基于网际互连协议(Internet Protocol,IP)电影和电视工程师协会(The Society of Motion Picture and Television Engineers,SMPTE)2110流的新闻演播室系统。在硬件层面,该系统配备HDVF-L750//CCN彩色寻像器和IP画面分割器;在软件层面,建立演播室IP SMPTE2110流标准协议,以此作为演播室内媒体传输的基础,确保演播室内视频、音频和辅助数据的高质量传输。此外,开发新闻演播视频格式文件读取程序,该程序能够分析新闻演播视频文件的格式和编码标准,确定需要支持的文件类型,从而满足新闻演播视频文件的读取与播放需求。经过测试,系统的运行性能较好,具备实际应用价值。

A robust protocol to compute wind load coefficients of telecommunication towers and antennas using numerical simulation for risk and resilience assessment

An accurate estimation of wind loads on telecommunication towers is crucial for design,as well as for perform-ing reliability,resilience,and risk assessments.In particular,drag coefficient and interference factor are the most significant factors for wind load computations.Wind tunnel tests and computational fluid dynamics(CFD)are the most appropriate methods to estimate these parameters.While wind tunnel tests are generally preferred in practice,they require dedicated facilities and personnel,and can be expensive if multiple configurations of tower panels and antennas need to be tested under various wind directions(e.g.,fragility curve development for system resilience analysis).This paper provides a simple,robust,and easily accessible CFD protocol with widespread applicability,offering a practical solution in situations where wind tunnel testing is not feasible,such as complex tower configurations or cases where the cost of running experiments for all the tower-antennas configurations is prohibitively high.Different turbulence models,structural and fluid boundary conditions and mesh types are tested to provide a streamlined CFD modeling strategy that shows good convergence and balances accuracy,computational time,and robustness.The protocol is calibrated and validated with experimental studies available in the literature.To demonstrate the capabilities of the protocol,three lattice tower panels and antennas with different configurations are analyzed as examples.The protocol successfully estimates the drag and lateral wind loads and their coefficients under different wind directions.Noticeable differences are observed between the esti-mated wind loads with this protocol and those computed by a simple linear superposition used in most practical applications,indicating the importance of tower-antenna interaction.Also,as expected,the wind loads recom-mended by design codes overestimate the simulated results.More importantly,the telecommunication design codes inadequately identify the most favorable wind directions that are associated with the lowest wind loads,while the results of the proposed protocol align with observations from experimental studies.This information may be used to select the tower orientation before construction.The findings of this study are of importance for the telecommunication industry,which seeks reliable results with minimal computational efforts.In addition,it enhances the fragility analysis of telecommunication towers under strong winds,and the portfolio risk and resilience assessment of telecommunication systems.

基于IP 的全广电及互联网转型生态系统探究

随着互联网时代的发展,广西广播电视台稳步推进基于网际互连协议(Internet Protocol,IP)的全广电及互联网转型生态系统建设,已实现了多屏互动采编播一体化生产平台的成功搭建与高效运营。现如今,如何进一步优化生态系统、提升内容质量成为当前广西广播电视台乃至整个广电行业迫在眉睫的任务。基于此,对广西广播电视台基于IP的全广电及互联网转型生态系统特征及功能模块进行探究,分析系统运行效果,以期为广西广播电视台乃至整个广电行业的转型发展提供参考。

电视制播系统IP化关键技术研究

基于电影和电视工程师协会(The Society of Motion Picture and Television Engineers,SMPTE)ST 2110标准,详细阐述总控建设、超高清同播技术、高动态范围(High Dynamic Range,HDR)技术、视音频系统、控制网络技术以及时钟同步技术等多个方面的关键内容,为电视制播系统的网际互连协议(Internet Protocol,IP)化转型提供理论支持和实践指导。

基于IP微波网的广电监测数据传输方案

为保障广播电视、应急广播等的高质量安全播发,甘肃省建设了基于网际互连协议(Internet Protocol,IP)微波网络的媒体融合监测平台。项目本着利旧原则,充分利用IP微波网实现多地监测组网,有效降低了建设成本和运维成本,取得显著的社会效益。基于此,详细介绍基于IP微波网的广电监测数据传输方案。

全IP化制播网络的关键技术及应用策略

分析全网际互连协议(Internet Protocol,IP)化制播网络的关键技术,涉及IP化技术架构、虚拟化与云化技术、人工智能(Artificial Intelligence,AI)在制播中的应用以及AI架构的网络智能化管理。探讨该网络面临的数据安全、实时性、技术更新及多源数据整合等挑战,并提出相应的解决方案,包括利用区块链增强数据安全、通过低延迟协议提升实时性、制定开放技术标准以及利用AI整合多源数据,旨在为全IP化制播网络的发展提供理论与实践指导,推动广播电视技术的创新与进步。

基于DVB+IP的境外数字电视全业务融合播出平台模型设计

江苏省广电有线信息网络股份有限公司无锡分公司设计了一套基于数字视频广播(Digital Video Broadcast,DVB)+网际互连协议(Internet Protocol,IP)的数字电视全业务融合播出平台模型。在此基础上,根据项目部署地的实际需求,设计并完成项目一期工程的数字电视前端系统。详细介绍全系统包含卫星电视节目的信号接收、无锡地区电视节目的 IP传输、自办节目播出、电子节目单(Electrical Program Guide,EPG)开机广告、信号复用、信号调制以及信号分配等功能。

广播电视行业从SDI到IP的转变

在广播电视行业,4K、8K超高清技术的快速发展,对于信号传输产生了更高的要求,需要更高的带宽和更低的延迟。在这种情况下,传统的串行数字接口(Serial Digital Interface,SDI)技术已经不能满足,需要向网际互连协议(Internet Protocol,IP)化转化。针对SDI技术的局限性以及IP技术的优势进行阐述,发现IP化不仅可以提升传输效率、降低传输成本,还可以促进广播电视行业的创新和发展。

IP化技术在电视制播融合中的网络架构与信号传输应用

网际互连协议(Internet Protocol,IP)化网络作为一种新兴的传输技术,正在改变传统的电视制作和播出模式。基于此,概述了IP化技术的相关概念,分析了IP化技术的数字编码和分组传输机制,阐述了IP化技术在推动电视制播融合方面的作用,提出了电视制播IP化网络的分层架构,解析了IP化核心网和接入网的组成,以及软件定义网络(Software Defined Network,SDN)在IP化网络中的控制作用。

数字电视信号在IP网络传输中的QoS保障技术应用

数字电视信号对传输质量有着十分严苛的要求,传统网际互连协议(Internet Protocol,IP)网络在提供端到端服务质量(Quality of Service,QoS)保障方面仍面临诸多挑战。对此,分析数字电视信号的业务特点和传输需求,梳理IP网络QoS领域的发展脉络,提出一种端到端QoS保障解决方案的总体架构,从接入网、骨干网、综合管理平台三个层面给出优化措施。