Due to the lack of authentication mechanism in BeiDou navigation satellite system(BDS),BD-Ⅱ civil navigation message(BDⅡ-CNAV) are vulnerable to spoofing attack and replay attack.To solve this problem,we present a s...Due to the lack of authentication mechanism in BeiDou navigation satellite system(BDS),BD-Ⅱ civil navigation message(BDⅡ-CNAV) are vulnerable to spoofing attack and replay attack.To solve this problem,we present a security authentication protocol,called as BDSec,which is designed by using China’s cryptography Shangyong Mima(SM) series algorithms,such as SM2/4/9 and Zu Chongzhi(ZUC)algorithm.In BDSec protocol,both of BDⅡ-CNAV and signature information are encrypted using the SM4 algorithm(Symmetric encryption mechanism).The encrypted result is used as the subject authentication information.BDSec protocol applies SM9 algorithm(Identity-based cryptography mechanism) to protect the integrity of the BDⅡ-CNAV,adopts the SM2 algorithm(Public key cryptosystem) to guarantee the confidentiality of the important session information,and uses the ZUC algorithm(Encryption and integrity algorithm) to verify the integrity of the message authentication serial number and initial information and the information in authentication initialization sub-protocol respectively.The results of the SVO logic reasoning and performance analysis show that BDSec protocol meets security requirements for the dual user identity authentication in BDS and can realize the security authentication of BDⅡ-CNAV.展开更多
One of the most important features of modem minor satellites is to realize autonomous moving. The perfomance of the satellite autonomous computer operating system acting as the control center is of utrnost importance....One of the most important features of modem minor satellites is to realize autonomous moving. The perfomance of the satellite autonomous computer operating system acting as the control center is of utrnost importance. The recent trend in operating system development is adopting microkernel architecture that holds such advantages as microminiaturization, modularity, portability and extendibility. IPC is the key of microkernel design. Message-based IPC mechanism is generally used in existing microkernel Operating system. It is of consistency, safety and reliability.However, it can not provide efficient support for real-time applications in satellite systems and it only applies to loose coupling multi-processor architecture. In this paper, an improvement solution for existing message-based IPC is proposed at first to obtain real-time performance. Then a new IPC mechanism is designed. It particulary applies to shared memory tight coupling multi-processor architecture.展开更多
Traffic characteristics of several typical instant messager services under certain scenarios are firstly analyzed,based on real-time data collected in the commercial mobile network.Then criteria for the evaluation of ...Traffic characteristics of several typical instant messager services under certain scenarios are firstly analyzed,based on real-time data collected in the commercial mobile network.Then criteria for the evaluation of the efficiency of the mobile network for the transmission of packet services are proposed in both transport layer and physical layer over air interface.The transmission efficiency of IM services is evaluated and compared under the proposed criteria.Furthermore,a so-called smart resource adaptation algorithm is verified in the effectiveness of improving the wireless transmission efficiency.Finally,improvements to the smart resource adaptation are proposed to further improve the wireless transmission efficiency,and its effectiveness is verified by the calculations.展开更多
为了弥补AODV(Ad Hoc on Demand Distance Vector)路由协议安全方面的缺点,同时获取基于该优化协议下的最短路径,文中采用信任机制模型方法,在原始AODV路由协议上改进TAODV(Trusted Ad Hoc on Demand Distance Vector Routing Algorithm...为了弥补AODV(Ad Hoc on Demand Distance Vector)路由协议安全方面的缺点,同时获取基于该优化协议下的最短路径,文中采用信任机制模型方法,在原始AODV路由协议上改进TAODV(Trusted Ad Hoc on Demand Distance Vector Routing Algorithm)路由协议。该协议以各个节点的信任值为基础进行相关运算,从而判断在路由协议运作过程中的路径信任值。通过在MATLAB平台中对相关参数进行设置,对改进后的TAODV协议进行模拟。仿真结果表明,改进后的TAODV路由协议在归一化路由开销、最小跳数和最优路径方面均优于传统的AODV路由协议,同时增强了网络的鲁棒性和抗毁性。展开更多
基金supported in part by the National Key R&D Program of China(No.2022YFB3904503)National Natural Science Foundation of China(No.62172418)the joint funds of National Natural Science Foundation of China and Civil Aviation Administration of China(No.U2133203).
文摘Due to the lack of authentication mechanism in BeiDou navigation satellite system(BDS),BD-Ⅱ civil navigation message(BDⅡ-CNAV) are vulnerable to spoofing attack and replay attack.To solve this problem,we present a security authentication protocol,called as BDSec,which is designed by using China’s cryptography Shangyong Mima(SM) series algorithms,such as SM2/4/9 and Zu Chongzhi(ZUC)algorithm.In BDSec protocol,both of BDⅡ-CNAV and signature information are encrypted using the SM4 algorithm(Symmetric encryption mechanism).The encrypted result is used as the subject authentication information.BDSec protocol applies SM9 algorithm(Identity-based cryptography mechanism) to protect the integrity of the BDⅡ-CNAV,adopts the SM2 algorithm(Public key cryptosystem) to guarantee the confidentiality of the important session information,and uses the ZUC algorithm(Encryption and integrity algorithm) to verify the integrity of the message authentication serial number and initial information and the information in authentication initialization sub-protocol respectively.The results of the SVO logic reasoning and performance analysis show that BDSec protocol meets security requirements for the dual user identity authentication in BDS and can realize the security authentication of BDⅡ-CNAV.
文摘One of the most important features of modem minor satellites is to realize autonomous moving. The perfomance of the satellite autonomous computer operating system acting as the control center is of utrnost importance. The recent trend in operating system development is adopting microkernel architecture that holds such advantages as microminiaturization, modularity, portability and extendibility. IPC is the key of microkernel design. Message-based IPC mechanism is generally used in existing microkernel Operating system. It is of consistency, safety and reliability.However, it can not provide efficient support for real-time applications in satellite systems and it only applies to loose coupling multi-processor architecture. In this paper, an improvement solution for existing message-based IPC is proposed at first to obtain real-time performance. Then a new IPC mechanism is designed. It particulary applies to shared memory tight coupling multi-processor architecture.
基金Supported by the National Natural Science Foundation of China(No.61301103)the Importation and Development of High-Caliber Talents Project of Beijing Municipal Institutions(No.CIT&TCD201504039)Funding Project for Academic Human Resources Development in Beijing Union University(No.BPHR2014A03,Rkl00201510)
文摘Traffic characteristics of several typical instant messager services under certain scenarios are firstly analyzed,based on real-time data collected in the commercial mobile network.Then criteria for the evaluation of the efficiency of the mobile network for the transmission of packet services are proposed in both transport layer and physical layer over air interface.The transmission efficiency of IM services is evaluated and compared under the proposed criteria.Furthermore,a so-called smart resource adaptation algorithm is verified in the effectiveness of improving the wireless transmission efficiency.Finally,improvements to the smart resource adaptation are proposed to further improve the wireless transmission efficiency,and its effectiveness is verified by the calculations.
文摘为了弥补AODV(Ad Hoc on Demand Distance Vector)路由协议安全方面的缺点,同时获取基于该优化协议下的最短路径,文中采用信任机制模型方法,在原始AODV路由协议上改进TAODV(Trusted Ad Hoc on Demand Distance Vector Routing Algorithm)路由协议。该协议以各个节点的信任值为基础进行相关运算,从而判断在路由协议运作过程中的路径信任值。通过在MATLAB平台中对相关参数进行设置,对改进后的TAODV协议进行模拟。仿真结果表明,改进后的TAODV路由协议在归一化路由开销、最小跳数和最优路径方面均优于传统的AODV路由协议,同时增强了网络的鲁棒性和抗毁性。
