交互控制协议的扩充设计及Petri网验证

• 作者: 侯彤璞 韩冬艳
• 来源期刊: 辽宁石油化工大学学报
• 学科: 工学
• 关键词: 交互控制协议 扩充设计 Petri网 协议验证
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 计算机与自动化
• 页码范围: 67-69,72
• 页数: 4页
• 分类号: TN915.04
• 字数: 2305字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-6952.2007.01.021

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	侯彤璞	辽宁石油化工大学计算机与通信工程学院	12	131	6.0	11.0
2	韩冬艳	辽宁石油化工大学计算机与通信工程学院	1	1	1.0	1.0