论文部分内容阅读
远程控制是远程数字视频监控系统的核心，目前很少使用自定义的协议来实现远程控制功能，已有的交互控制协议功能还存在一些不足，尤其是多用户、多摄像机情况下涉及的用户权限问题没有得到解决。针对此问题对交互控制协议进行扩充设计，包括请求方法和标头的设计，使得交互控制协议功能更加完善。为保障协议设计的完整性，结合协议工作原理，并考虑报文在信道传榆中丢失的情况对交互控制协议建立Petri网模型，最后通过可达树对协议进行完整性验证。