收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

用代数方法对网络协议建模和综合

黄典伟  吴智铭  
【摘要】:通信网络系统是一类离散事件动态系统(DEDS)。对网络协议的形式化描述、验证、实现及一致性测试是一重要的研究领域。从控制理论的角度看,我们将通信实体之间及与通道间所有交互活动描述为非受控过程,而将通信协议描述为控制器。这样我们就能用目前DEDS监控理论来处理协议问题。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 金罗军 ,裴先登;电视会议系统中实时控制协议的研究[J];今日电子;1996年10期
2 林霞;蔡声镇;吴允平;卢宇;关健;吴燕;陈锦凯;;基于特征关键字的多协议数据流转换方法[J];计算机工程;2011年05期
3 郎文华;周明天;;Ad-Hoc网络中的密钥建立协议[J];计算机科学;2002年11期
4 段学超;仇原鹰;段宝岩;陈光达;保宏;米建伟;;宏微并联机器人系统自适应交互PID监督控制[J];机械工程学报;2010年01期
5 姬东耀;冯登国;;对两个双方密码协议运行模式的攻击及改进[J];计算机科学;2003年06期
6 殷胤;李宝;;标准模型下可证安全的加密密钥协商协议[J];软件学报;2007年02期
7 江华;谭新星;李祥;;基于π-演算的安全协议描述与验证[J];韶关学院学报;2008年03期
8 曹琛;高宇航;;改进的三方口令认证密钥交换协议[J];计算机工程与应用;2010年16期
9 曹靖;邢雪蜂;孙国欣;韩佳;;一个有效的基于身份的群密钥协商协议[J];河北科技师范学院学报;2009年01期
10 苏桂平;孙莎;;基于CPN模型的不可否认协议分析[J];信息安全与通信保密;2011年08期
11 钟卓新;;保障数据安全的多规程通信控制器[J];信息安全与通信保密;1984年02期
12 肖倩;罗守山;陈萍;吴波;;半诚实模型下安全多方排序问题的研究[J];电子学报;2008年04期
13 蔡万勇;万山虎;李侠;程东升;;防空雷达预警监视系统作战建模与仿真一体化框架研究[J];军事运筹与系统工程;2010年01期
14 王忠堂;徐静瑞;;基于SNMP协议的HFC网络双向监控系统的研究与实现[J];有线电视技术;2009年07期
15 杨家海,吴建平,史美林;协议的形式描述与自动实现[J];通信技术;1994年03期
16 李腊元,朱以文,韦庆如;通信协议的形式描述及自动实现技术[J];小型微型计算机系统;1995年04期
17 怀进鹏,李先贤;密码协议的代数模型及其安全性[J];中国科学E辑;2003年12期
18 赵志崑,盛秋戬,高翔,史忠植;多主体交互协议的表示和实现[J];计算机工程与应用;2003年24期
19 邓曙光;胡赛纯;杨冰;;Ad Hoc网络中基于能源节省的单向QoS路由协议[J];计算机工程;2006年24期
20 吕应权;周冲;;WCDMA系统有效提高切换成功率的方法[J];中兴通讯技术;2008年04期
中国重要会议论文全文数据库 前10条
1 黄典伟;吴智铭;;用代数方法对网络协议建模和综合[A];1994年中国控制会议论文集[C];1994年
2 王磊;何宁;卢昱;;基于摄动分析的空间信息网络带宽分配算法[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
3 李樱;王永滨;冯爽;;基于LOTOS的PIM-SM协议形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
4 李宇辉;张远见;;基于IEEE802.16d中OFDM系统的发射机与接收同步模块的实现[A];2005中国通信集成电路技术与应用研讨会论文集[C];2005年
5 解培岱;王勇军;;一种支持协议动态加载和协议行为分析的协议扩展框架[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集(下)[C];2008年
6 杨玺;刘军;樊晓平;刘少强;;能量有效的自适应非同步无线传感器网络MAC协议[A];第二十九届中国控制会议论文集[C];2010年
7 朱晓波;辛阳;黄玮;钮心忻;杨义先;;VoIP流量监控系统设计与实现[A];2010年全国通信安全学术会议论文集[C];2010年
8 赵会群;孙晶;高远;;一种基于路由网络代数的路由振荡检测算法[A];第十届全国容错计算学术会议论文集[C];2003年
9 周滨;郭伟;任智;;一种支持无线自组网QoS业务的信道接入协议[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年
10 贾晓静;张少波;;一种能量有效的无线传感器网络低时延MAC协议[A];教育部中南地区高等学校电子电气基础课教学研究会第二十届学术年会会议论文集(下册)[C];2010年
中国博士学位论文全文数据库 前10条
1 李磊;非否认协议关键技术研究[D];西安电子科技大学;2010年
2 胡昌慧;车载自组网络安全协议和安全字符串匹配协议研究[D];山东大学;2012年
3 魏普文;密码算法与协议简化设计[D];山东大学;2009年
4 赵秀凤;认证及密钥协商协议设计与分析[D];山东大学;2012年
5 汪小芬;认证密钥协商协议的研究[D];西安电子科技大学;2009年
6 权东晓;量子通信协议研究[D];西安电子科技大学;2009年
7 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年
8 程庆丰;密钥交换协议及安全模型的分析与设计[D];解放军信息工程大学;2011年
9 高飞;量子密码协议的设计与分析[D];北京邮电大学;2007年
10 李力;下一代蜂窝通信系统中同步中继传输关键技术研究[D];浙江大学;2009年
中国硕士学位论文全文数据库 前10条
1 夏松;基于身份的AKA协议若干问题研究[D];解放军信息工程大学;2010年
2 严培军;无线协同通信中的MAC协议研究[D];国防科学技术大学;2010年
3 高巍;基于PETRI网的无线链状网MAC协议与路由算法研究[D];中南大学;2010年
4 王夏冰;基于MIMO链路的Ad Hoc网络MAC协议研究[D];西安电子科技大学;2011年
5 刘文刚;可认证密钥协商协议的研究与设计[D];西华大学;2011年
6 刘文斌;ARINC718A/ARINC735A协议通信测试软件设计[D];电子科技大学;2011年
7 杜飞;支持理性多方计算协议的群组通信基础研究[D];云南大学;2012年
8 傅冬胜;无线传感器网络轻量级MAC协议研究及实现[D];北京邮电大学;2011年
9 徐进;业余无线电空间电台通信协议设计与实现[D];北京邮电大学;2010年
10 李林;基于计算密码学的无线网络协议自动化分析研究[D];中南民族大学;2011年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978