期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
TMN密码协议的SMV分析 被引量:1
1
作者 邢戈 张玉清 冯登国 《计算机工程》 EI CAS CSCD 北大核心 2005年第8期49-51,98,共4页
SMV是分析有限状态系统的一种工具,三方密码协议运行模式分析法是分析密码协议的有效方法之一。为了说明这种方法的可行性,使用三方密码协议运行模式分析法,并借助状态探测工具SMV分析了TMN密码协议,并成功地找到了对TMN协议的19种攻击。
关键词 运行模式分析法 tmn协议 SMV
下载PDF
TMN协议的形式化分析 被引量:1
2
作者 刘秀英 张玉清 +1 位作者 杨波 邢戈 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2004年第5期785-790,共6页
利用运行模式分析法对TMN协议进行了全面的分析,发现了对它的10类19种攻击形式.根据攻击的具体形式和攻击中入侵者的目的对这些攻击进行了归类.结合已知攻击发现,在文中定义的小系统上运行模式分析法对TMN协议的分析是有效的.
关键词 tmn协议 模型检测 密码协议 运行模式分析
下载PDF
铁路TMN实施策略的探讨
3
作者 刘俊峰 《中国铁路》 1999年第4期16-17,39,共3页
论述了铁路实施TMN的必要性,铁路TMN的模式、实施策略及影响TMN实施的关键问题,并对实施铁路TMN的方法提出了建议。
关键词 铁路通信网 tmn模式 实施 策略
下载PDF
MODE THEORY OF MULTILAYER WAVEGUIDE STRUCTURE WITH DISCONTINUITIES
4
作者 Zong Weihua Liang Changhong (National Key Lab of Antenna and Microwave Technology, Xidian University, Xi’an 710071) 《Journal of Electronics(China)》 2003年第3期237-240,共4页
TEn mode (whose electric field is zero in the normal direction of theboundafiesbetween layers) and TMn mode (whose magnetic field is zero in the normal direction of the bound-aries between layers) are defined. Then co... TEn mode (whose electric field is zero in the normal direction of theboundafiesbetween layers) and TMn mode (whose magnetic field is zero in the normal direction of the bound-aries between layers) are defined. Then conditions under which pure TEn (TMn) modes may existin multilayer waveguide structure with discontinuities are presented. E (H) step wavguides, ridgedwavguides, microstrip lines and fin lines all satisfy the conditions, and hold for TEn (TMn) mode.The conventional conclusion that ridged waveguides with inhomogeneous dielectric-slab loading,microstrip lines and fin lines only hold for hybrid modes is revised. Compared with hybrid modes,the number of unknown variations and matching equations is reduced by half for pure TEn (TMn)modes, and the computation cost is decreased dramatically. 展开更多
关键词 多层波导结构 不连续性 高阶模 TEn模式 tmn模式
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部