期刊文献+
共找到401篇文章
< 1 2 21 >
每页显示 20 50 100
Discussion on data-security of space-earth integrated network and analysis ofspace communications protocol standards
1
作者 LiZehui LiuYong SunJin 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2005年第2期290-294,共5页
The architecture and protocols of Internet can't work well in space environments. To form a reliable and safe space network, characteristics of space communication network one discusse, brief synthesis is performe... The architecture and protocols of Internet can't work well in space environments. To form a reliable and safe space network, characteristics of space communication network one discusse, brief synthesis is performed for consultative committee for space data system (CCSDS) space communications protocol standards (SCPS), and a model accounting for data security problem of space-earth integrated network is provided. 展开更多
关键词 space network protocol security.
在线阅读 下载PDF
Delay Resistant Transport Protocol for Deep Space Communication
2
作者 Mohanchur Sarkar Kaushal K. Shukla Kankar S. Dasgupta 《International Journal of Communications, Network and System Sciences》 2011年第2期122-132,共11页
The throughput of conventional transport protocols suffers significant degradation with the increased Round Trip Time (RTT) typically seen in deep space communication. This paper proposes a Delay Resistant Transport P... The throughput of conventional transport protocols suffers significant degradation with the increased Round Trip Time (RTT) typically seen in deep space communication. This paper proposes a Delay Resistant Transport Protocol (DR-TCP) for point-to-point communication in deep space exploration missions. The issues related to deep space communication protocol design and the areas where modifications are necessary are investigated, and a protocol is designed that can provide good throughput to the applications using a deep space link. The proposed protocol uses a cross layer based approach to find the allocated bandwidth and avoids initial bandwidth estimation. A novel timeout algorithm estimates the timeout duration with an objective to maximize throughput and avoid spurious timeout events. The protocol is evaluated through extensive simulations in ns2 considering high RTT values typically seen in Lunar and Mars Exploration Networks under different conditions of packet error rates. DR-TCP provides a significant increase in the throughput as compared to traditional transport protocols under the same conditions. A novel adaptive redundant retransmission algorithm is also presented to take care of the high PER in deep space links. The effect of the Retransmission Frequency has been critically analyzed considering both Lunar and Deep Space scenarios under different levels of PER. The results are very encouraging even in high error conditions. The protocol exhibits a RTT independent behavior in throughput, which is the most desirable quality of a protocol for deep space communication. 展开更多
关键词 DELAY RESISTANT TCP SACK TCP VEGAS Deep space Communication protocols RTT TP-Planet Saratoga LTP DS-TP
暂未订购
Modeling and Simulation Study of Space Data Link Protocol
3
作者 Ismail Hababeh Rizik M. H. Al-Sayyed +2 位作者 Ja’far Alqatawna Yousef Majdalawi Marwan Nabelsi 《International Journal of Communications, Network and System Sciences》 2014年第10期440-452,共13页
This research paper describes the design and implementation of the Consultative Committee for Space Data Systems (CCSDS) standards REF _Ref401069962 \r \h \* MERGEFORMAT [1] for Space Data Link Layer Protocol (SDLP). ... This research paper describes the design and implementation of the Consultative Committee for Space Data Systems (CCSDS) standards REF _Ref401069962 \r \h \* MERGEFORMAT [1] for Space Data Link Layer Protocol (SDLP). The primer focus is the telecommand (TC) part of the standard. The implementation of the standard was in the form of DLL functions using C++ programming language. The second objective of this paper was to use the DLL functions with OMNeT++ simulating environment to create a simulator in order to analyze the mean end-to-end Packet Delay, maximum achievable application layer throughput for a given fixed link capacity and normalized protocol overhead, defined as the total number of bytes transmitted on the link in a given period of time (e.g. per second) divided by the number of bytes of application data received at the application layer model data sink. In addition, the DLL was also integrated with Ground Support Equipment Operating System (GSEOS), a software system for space instruments and small spacecrafts especially suited for low budget missions. The SDLP is designed for rapid test system design and high flexibility for changing telemetry and command requirements. GSEOS can be seamlessly moved from EM/FM development (bench testing) to flight operations. It features the Python programming language as a configuration/scripting tool and can easily be extended to accommodate custom hardware interfaces. This paper also shows the results of the simulations and its analysis. 展开更多
关键词 Consultative COMMITTEE for space DATA Systems Standards space DATA Link protocol Mean END-TO-END Packet Delay Maximum Achievable Application Layer Throughput Normalized protocol OVERHEAD Telecommand spacecrafts space Instruments
暂未订购
基于Strand Space的移动计算安全协议设计与正确性证明 被引量:1
4
作者 许峰 高晓春 黄皓 《计算机科学》 CSCD 北大核心 2008年第11期74-77,184,共5页
安全协议对移动计算的安全性质起着决定作用。根据移动计算网络环境的特点,参照安全协议设计准则,以移动银行应用为背景设计了一个移动计算安全协议——MB协议,并基于Strand空间理论给出了正确性证明。
关键词 串空间 安全协议 形式化分析 密码体制 移动计算
在线阅读 下载PDF
基于Strand Space模型的CCITT X.509协议分析 被引量:4
5
作者 蒋睿 李建华 潘理 《上海交通大学学报》 EI CAS CSCD 北大核心 2004年第z1期169-173,共5页
运用前沿的安全协议形式化分析方法——StrandSpace模型理论,对CCITTX.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性缺陷和相同的认证正确性缺陷.同时提出了改进的X.509协议,并用S... 运用前沿的安全协议形式化分析方法——StrandSpace模型理论,对CCITTX.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性缺陷和相同的认证正确性缺陷.同时提出了改进的X.509协议,并用StrandSpace模型论证了改进协议的保密性和认证正确性. 展开更多
关键词 STRAND space模型 安全协议 形式化方法 CCITT X.509
在线阅读 下载PDF
安全协议分析的界——综合模型检查与Strand Spaces(英文)
6
作者 刘怡文 李伟琴 《中国科学院研究生院学报》 CAS CSCD 2002年第3期288-294,共7页
Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,... Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与 Strand Spaces二者的优势. 展开更多
关键词 安全协议分析 模型检查 STRAND spaceS 定理证明 机器证明 安全特性 网络安全
在线阅读 下载PDF
SpaceWire与SpaceFibre高速总线发展与研究 被引量:15
7
作者 徐曙清 王震 +1 位作者 董瑶海 李卿 《上海航天》 2014年第1期29-36,共8页
介绍SpaceWire总线和SpaceFibre网络的基本情况及其构成。分析了两者用于航天器时的优点。综述了两者在国内外发展和基础研究状况,给出了研究与应用中的高可靠SpaceWire-D信息组网和高速SpaceFibre网络传输等关键技术。
关键词 spaceWire总线 spaceFibre网络 太空总线 太空网络 IP核 协议
在线阅读 下载PDF
A SURVEY OF DEEP SPACE COMMUNICATIONS 被引量:3
8
作者 Zhang Gengxin Xie Zhidong Bian Dongming Sun Qian 《Journal of Electronics(China)》 2011年第2期145-153,共9页
Deep space communications has played an important role in deep space exploration. Compared with common satellite and terrestrial communications, deep space communications faces more challenging environment. The paper ... Deep space communications has played an important role in deep space exploration. Compared with common satellite and terrestrial communications, deep space communications faces more challenging environment. The paper investigated the unique features of deep space communica-tions in detail, discussed the key technologies and its development trends for deep space communica-tions. 展开更多
关键词 Deep space communication MODULATION Channel coding protocol NETWORKING
在线阅读 下载PDF
A FORMAL SPECIFICATION LANGUAGE FOR DYNAMIC STRAND SPACE MODEL
9
作者 LIU Dong-xi(刘东喜) +3 位作者 LI Xiao-yong(李晓勇) BAI Ying-cai(白英彩) 《Journal of Shanghai Jiaotong university(Science)》 EI 2002年第1期23-25,35,共4页
Specification language is used to provide enough information for the model of the cryptographic protocol. This paper first extends strand space model to dynamic strand model, and then a formal specification language f... Specification language is used to provide enough information for the model of the cryptographic protocol. This paper first extends strand space model to dynamic strand model, and then a formal specification language for this model is defined by using BNF grammar. Compared with those in literatures, it is simpler because of only concerning the algebraic properties of cryptographic protocols. 展开更多
关键词 DYNAMIC STRAND space CRYPTOGRAPHIC protocols FORMAL specification LANGUAGE
在线阅读 下载PDF
ISI支付协议的Strand Space模型及其公平性分析
10
作者 陈浩 程娜 何大可 《信息安全与通信保密》 2006年第10期135-137,共3页
文章利用StrandSpace模型对ISI支付协议进行了分析,得出了与卿_周逻辑分析方法相同的结论,并将StrandSpace模型对认证协议协定性的分析方法应用到了电子商务协议公平性的分析。
关键词 安全协议 形式化分析 STRAND space 公平性
原文传递
Public Bicycle Operating System Based on Space-Time Security and the Internet of Things
11
作者 PENG Rong ZHANG Manli +2 位作者 GUO Chi CUI Jingsong SONG Jia 《Wuhan University Journal of Natural Sciences》 CAS CSCD 2018年第6期541-548,共8页
The bad behaviors of some users and the drawbacks of public bicycles have hindered the promotion of public bicycles. The current problems include low utilization rate, uneven distribution, high loss rate and insecure ... The bad behaviors of some users and the drawbacks of public bicycles have hindered the promotion of public bicycles. The current problems include low utilization rate, uneven distribution, high loss rate and insecure lock. However, there is few feasible research in this new field. To address these issues of public bicycles, we propose a public bicycle operating system(PBOS). PBOS involves three key technologies: 1) To acquire a dynamic password and realize bicycle self-rescue, we devise an intelligent lock that utilizes the Internet of Things(IoT) to establish Bluetooth connection with user's mobile phone. 2) To avoid bicycle loss and improve the security of data transmission, we design a space-time security protocol to work between bicycle's intelligent lock, mobile app, and server. 3) To increase the average utilization rate and distribution, we present a cooperative game model for bicycle scheduling. Finally, we evaluate the performance and validate the theoretical properties of PBOS through extensive simulations. 展开更多
关键词 public bicycle intelligent lock bluetooth communication space-time security protocol cooperative game model
原文传递
ERROR COUNTER-BASED NEGATIVE ACKNOWLEDGEMENT MODE IN CCSDS FILE DELIVERY PROTOCOL
12
作者 Xiao Shiiie Yang Mingchuan Guo Qing 《Journal of Electronics(China)》 2011年第2期222-227,共6页
Deep space communication has its own features such as long propagation delays,heavy noise,asymmetric link rates,and intermittent connectivity in space,therefore TCP/IP protocol cannot perform as well as it does in ter... Deep space communication has its own features such as long propagation delays,heavy noise,asymmetric link rates,and intermittent connectivity in space,therefore TCP/IP protocol cannot perform as well as it does in terrestrial communications.Accordingly,the Consultative Committee for Space Data Systems(CCSDS) developed CCSDS File Delivery Protocol(CFDP),which sets standards of efficient file delivery service capable of transferring files to and from mass memory located in the space segment.In CFDP,four optional acknowledge modes are supported to make the communication more reliable.In this paper,we gave a general introduction of typical communication process in CFDP and analysis of its four Negative Acknowledgement(NAK) modes on the respect of file delivery delay and times of retransmission.We found out that despite the shortest file delivery delay,immediate NAK mode suffers from the problem that frequent retransmission may probably lead to network congestion.Thus,we proposed a new mode,the error counter-based NAK mode.By simulation of the case focused on the link between a deep space probe on Mars and a ter-restrial station on Earth,we concluded that error counter-based NAK mode has successfully reduced the retransmission times at negligible cost of certain amount of file delivery delay. 展开更多
关键词 Deep space communication Consultative Committee for space Data Systems(CCSDS) File Delivery protocol(CFDP) Negative AcKnowledgement(NAK) mode
在线阅读 下载PDF
A Routing Protocol for Enhanced Efficiency in Cognitive Radio Networks
13
作者 Athina Bourdena George Mastorakis +1 位作者 Evangelos Pallis Georgios Kormentzas 《通讯和计算机(中英文版)》 2013年第5期675-685,共11页
关键词 无线电网络 路由协议 通信节点 模拟实验 信令机制 监管制度 绩效考核 仿真结果
在线阅读 下载PDF
美军卫星空间链路对抗能力的发展启示
14
作者 肖飞 易小云 《通信技术》 2025年第5期529-535,共7页
星地、星间空间链路由于覆盖范围大并具有开放性,逐步成为通信网络对抗的焦点,随着太空博弈加剧,传统的卫星空间链路防护手段面临挑战。深度剖析了美军在卫星空间链路电磁干扰系统发展的历程和能力现状,并通过美军Hack-A-Sat挑战赛分析... 星地、星间空间链路由于覆盖范围大并具有开放性,逐步成为通信网络对抗的焦点,随着太空博弈加剧,传统的卫星空间链路防护手段面临挑战。深度剖析了美军在卫星空间链路电磁干扰系统发展的历程和能力现状,并通过美军Hack-A-Sat挑战赛分析了针对卫星链路的网络协议渗透能力,研究了美军在卫星链路防护能力方面的布局。在此基础上,提出了卫星空间链路防御需要提升卫星链路体系化综合化抗干扰能力,以及增强物理层安全来提升信号抗截获分析的能力,提升卫星链路攻击威胁感知等主动防御能力的发展建议。该研究可为卫星通信网络安全防御体系能力提升提供借鉴。 展开更多
关键词 空间链路 电磁干扰 协议渗透 威胁感知 主动防御
在线阅读 下载PDF
“鹊桥”通导遥综合星座系统一体化组网关键技术
15
作者 何熊文 陈朝基 +6 位作者 于登云 赵康僆 乔奕 贾雨棽 陈亮 吕泽竞 裴楠 《深空探测学报(中英文)》 北大核心 2025年第4期328-335,共8页
面向“鹊桥”通导遥综合星座系统多航天器之间的通信需求,针对现有深空通信存在的时延长、链路中断频繁、协议不统一等难点,提出了由地面网、地轨网、月面网、月轨网、行星表面网和行星轨道网组成的一体化跨域网络拓扑架构以及融合国际... 面向“鹊桥”通导遥综合星座系统多航天器之间的通信需求,针对现有深空通信存在的时延长、链路中断频繁、协议不统一等难点,提出了由地面网、地轨网、月面网、月轨网、行星表面网和行星轨道网组成的一体化跨域网络拓扑架构以及融合国际空间数据系统咨询委员会(Consultative Committee for Space Data Systems,CCSDS)、欧洲空间标准化组织(European Cooperation for Space Standardization,ECSS)和互联网工程指导组(Internet Engineering Task Force,IETF)协议体系的分层网络协议架构以实现器间、器地和器内通信的统一协议配置。通过地月链路仿真实验表明,束协议(Bundle Protocol,BP)/利克莱德传输协议(Licklider Transmission Protocol,LTP)在高延迟、高丢包率的深空通信环境中有效吞吐量可达90%以上,显著优于传输控制协议(Transmission Control Protocol,TCP)、基于用户数据报协议(User Datagram Protocol,UDP)的低时延的互联网传输层协议(Quick UDP Internet Connection,QUIC)和CCSDS文件传输协议(CCSDS File Delivery Protocol,CFDP)。最后对架构设计与验证、网络信息服务、高可靠传送、智能高效路由等星座系统一体化组网的相关关键技术进行了展望。可为未来“鹊桥”星座系统的一体化网络构建提供技术支撑,具有重要的工程意义。 展开更多
关键词 地月空间 “鹊桥”星座系统 一体化组网 拓扑架构 网络协议
在线阅读 下载PDF
面向SCSI子系统的用户空间存储架构设计 被引量:1
16
作者 郝栋栋 高聪明 舒继武 《计算机研究与发展》 北大核心 2025年第3期633-647,共15页
近年来存储行业经历了巨大的变革,以固态硬盘(solid state drive, SSD)为代表的半导体存储设备迅猛发展,在性能上显著超越了通过磁头移动寻址的机械硬盘(hard disk drive, HDD).目前支持SSD的2种协议主要包括非易失性内存主机控制器接... 近年来存储行业经历了巨大的变革,以固态硬盘(solid state drive, SSD)为代表的半导体存储设备迅猛发展,在性能上显著超越了通过磁头移动寻址的机械硬盘(hard disk drive, HDD).目前支持SSD的2种协议主要包括非易失性内存主机控制器接口规范(nonvolatile memory express, NVMe)协议与串行SCSI(serial attached small computer system interface, SAS)协议,即SAS. NVMe是专为SSD设计的高性能存储协议,能够很大限度地发挥SSD的性能;而SAS协议则充分考虑数据中心的需求,在提供高可靠性与高可扩展性的同时,兼顾了系统性能与成本的平衡.相对于日益增速的存储介质,针对慢速存储设备所设计的软件栈在一次I/O过程中所耗费的时间开销愈发显著.针对该问题学界及工业界都相继提出了众多解决方案,例如Intel提出的高性能存储开发包(storage performance development kit, SPDK)通过将设备驱动实现在用户空间,并采用轮询感知I/O完成等方式大幅度缩短了NVMe SSD对应用程序的响应时间,极大地提升了整个系统的整体性能.然而之前的研究工作针对SAS SSD存储软件栈的优化非常有限,为此在用户空间实现了针对SAS SSD的软件栈优化.实验结果表明,该优化能够有效缩短存储设备对应用程序的响应时间,提高应用对存储设备的访存效率.此外,为了准确评估I/O栈中存储设备的时间开销,硬件性能测试工具HwPerfIO被提出,能够消除大部分软件开销的影响以测得更加准确的存储设备性能. 展开更多
关键词 固态硬盘 HwPerfIO SAS协议 I/O栈 用户空间驱动
在线阅读 下载PDF
浅析天地一体化测控通信网空间数据传输协议
17
作者 王鹿 颜文娴 宋鹏 《科学与信息化》 2025年第9期87-90,共4页
本文介绍了天地一体化测控通信网的概念、发展历程、组成和应用领域,以及空间数据传输协议的基本概念、种类、特点和设计原则。在此基础上,又分别探讨了基于TCP/IP协议和UDP协议的空间数据传输协议的设计原理、实现与测试,并进行了实验... 本文介绍了天地一体化测控通信网的概念、发展历程、组成和应用领域,以及空间数据传输协议的基本概念、种类、特点和设计原则。在此基础上,又分别探讨了基于TCP/IP协议和UDP协议的空间数据传输协议的设计原理、实现与测试,并进行了实验结果分析。结果表明,基于TCP/IP协议的空间数据传输协议具有较好的稳定性和可靠性,而基于UDP协议的空间数据传输协议具有较低的传输延迟和较高的传输效率。 展开更多
关键词 天地一体化测控通信网 空间数据传输协议 TCP/IP协议 UDP协议 性能指标
在线阅读 下载PDF
一种基于混沌映射的空天地一体化网络安全组网认证方案
18
作者 张锦添 陈星星 +1 位作者 程庆丰 罗向阳 《密码学报(中英文)》 北大核心 2025年第6期1314-1333,共20页
空天地一体化网络系统作为未来通信系统的重要发展方向,在安全方面具有极高的需求.针对其网络结构复杂、资源高度约束等条件,设计安全高效的组网认证方案是实现网络通信的基础.最近, Li等提出了一种无证书的认证密钥协商协议,实现空天... 空天地一体化网络系统作为未来通信系统的重要发展方向,在安全方面具有极高的需求.针对其网络结构复杂、资源高度约束等条件,设计安全高效的组网认证方案是实现网络通信的基础.最近, Li等提出了一种无证书的认证密钥协商协议,实现空天地一体化网络中卫星和无人机的联合组网.本文对Li的方案进行安全分析,指出协议建立的会话密钥安全性不够完善,无法抵御敌手的临时密钥泄露攻击、已知会话特定临时信息攻击和密钥泄露伪装攻击.为了解决这些问题,本文提出了一种利用椭圆曲线密码学和切比雪夫混沌映射融合技术的增强型组网认证方案,在eCK模型下,通过安全性规约,证明了改进后的方案实现了更强的安全性.与同类型方案对比分析表明,本文的方案在计算与通信开销上具有一定的效率优势. 展开更多
关键词 空天地一体化网络 切比雪夫混沌映射 eCK模型 认证协议
在线阅读 下载PDF
RFID标签的不可追踪性 被引量:6
19
作者 邓淼磊 朱昭 +1 位作者 石金娥 周利华 《北京邮电大学学报》 EI CAS CSCD 北大核心 2010年第2期44-47,共4页
为了形式化分析无线射频识别(RFID)协议中标签的不可追踪性,对串空间模型进行了扩展,引入了分析标签不可追踪性的能力,并给出了不可追踪性的判定定理.基于扩展的串空间模型,对Feldhofer协议和O′-FRAP协议进行了分析.结果表明,Feldhofe... 为了形式化分析无线射频识别(RFID)协议中标签的不可追踪性,对串空间模型进行了扩展,引入了分析标签不可追踪性的能力,并给出了不可追踪性的判定定理.基于扩展的串空间模型,对Feldhofer协议和O′-FRAP协议进行了分析.结果表明,Feldhofer协议能实现不可追踪性,O′-FRAP协议对于主动攻击者不能实现不可追踪性. 展开更多
关键词 无线射频识别 标签 不可追踪性 串空间 协议
在线阅读 下载PDF
改进的空间协议识别算法 被引量:6
20
作者 郑天明 王韬 +2 位作者 郭世泽 李华 赵新杰 《通信学报》 EI CSCD 北大核心 2012年第5期183-190,共8页
提出了一种适合空间协议识别的改进BM算法。首先给出了一种基于比特距离的空间数据预处理算法,增大字符集数量,并通过引入小数跳进机制,提高BM算法协议分组头匹配效率;然后应用正则表达式进行协议识别,利用层次关系法提高多层空间协议... 提出了一种适合空间协议识别的改进BM算法。首先给出了一种基于比特距离的空间数据预处理算法,增大字符集数量,并通过引入小数跳进机制,提高BM算法协议分组头匹配效率;然后应用正则表达式进行协议识别,利用层次关系法提高多层空间协议识别效率;最后对提出的算法进行了复杂度分析和实验验证。结果表明:对于识别模式串长度为m的单层协议,算法时间复杂度可降低到BM算法的(1+m/4)/m,对多层协议识别效率可提高2.5倍;同时,与BM算法相比,提出的算法可有效解决模式串长度不足与存在大量不确定数据的问题,在数据量较大情况下具有更高的识别效率,且所形成的分组可有效抑制正则表达式DFA匹配引擎状态膨胀。 展开更多
关键词 空间协议 协议识别 BM算法 比特距离 小数跳进 正则表达式 层次关联
在线阅读 下载PDF
上一页 1 2 21 下一页 到第
使用帮助 返回顶部