Formal Modelling and Verification of the RTPS Behavior Module
2021 International Symposium on Theoretical Aspects of Software Engineering (TASE)（2021）
摘要
With the popularization and development of 5G, it is vital to guarantee the security of the whole data while transmitting them at high speed. Data Distribution Service (DDS), as the core technology of network data communication, is one of the most significant protocols. The Real Time Publish Subscribe (RTPS) protocol is part of DDS, which emphasizes data publishing and receiving.In this paper, we ...
更多查看译文
关键词
Protocols,Publishing,Authentication,Publish-subscribe,Real-time systems,Encryption,Reliability
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要