基于MSDL的应急通信网保障形式化描述方法研究  

Study on the formal description method of based on MSDL emergency communication network

作　　者：陈浩然 朱巍 Chen Haoran;Zhu Wei(College of Information and Communication,National University of Defense Technology,Wuhan 430014,China)

机构地区：[1]国防科技大学信息通信学院,湖北武汉430014

出　　处：《无线互联科技》2021年第9期9-11,34,共4页Wireless Internet Technology

摘　　要：应急通信网保障形式化描述对于应急通信网保障方案制定和应急通信网保障力量的组织运用评估验证具有重要意义。文章分析了应急通信网保障形式化描述策略,提出了一种基于MSDL的形式化描述方法,为应急通信网保障的形式化描述提供了一定的参考。The formal description of emergency communication network security is of great significance for the formulation of emergency communication network security scheme and the evaluation and verification of the organization and application of emergency communication network security force.A MSDL-based formal description method is proposed,which provides a reference for the formal description of emergency communication network security.

关 键 词：MSDL 应急通信网 形式化描述 

分 类 号：TN915[电子电信—通信与信息系统]