TMN密码协议的SMV分析

密码协议安全性的分析是网络安全的一个难题 ,运用形式方法对密码协议进行分析一直是该领域的研究热点 运用模型检测工具SMV对TMN密码协议进行了形式分析 在建立一个有限状态系统模型和刻画TMN密码协议安全性质的基础上 ,使用SMV对TMN密码协议进行了安全分析

TMN协议的攻击及其分类研究

对TMN协议的攻击进行分析,并从协议应该确保的安全目标,即保密性和认证性入手,结合采用的攻击方法对现有的攻击进行分类。

基于CORBA平台的TMN网管系统架构的研究

该文分析了TMN网管系统中存在的不足,总结了CORBA的优势,通过两者的对照比较,指出了它们在被管理对象的命名和系统的寻址机制、管理信息模型、事件通知的方式以及协议栈等方面的不同;并在此基础上,建立了基于CORBA平台的TMN网管系统新的架构,利用网关技术集成原有的网管系统和集成纯CORBA的网元设备,实现异构环境下多个系统的互连互通,并有利于实现在业务管理层进行粗粒度的网络管理。

TMN协议的形式化分析

利用运行模式分析法对TMN协议进行了全面的分析,发现了对它的10类19种攻击形式.根据攻击的具体形式和攻击中入侵者的目的对这些攻击进行了归类.结合已知攻击发现,在文中定义的小系统上运行模式分析法对TMN协议的分析是有效的.

TMN密码协议的SMV分析

SMV是分析有限状态系统的一种工具,三方密码协议运行模式分析法是分析密码协议的有效方法之一。为了说明这种方法的可行性,使用三方密码协议运行模式分析法,并借助状态探测工具SMV分析了TMN密码协议,并成功地找到了对TMN协议的19种攻击。

TMN协议的MCJ模型分析

本文利用由Ｗｉｌｌ Ｍａｒｒｅｒｏ，Ｅｄｍｕｎｄ Ｃｌａｒｋｅ 及Ｓｏｍｅｓｈ Ｊｈａ 提出的认证协议的检测模型，对改进的ＴＮＭ［１］ 协议进行检测，给出了如何将ＴＭＮ 协议模型化，并利用该模型对其进行检测，找出了用ＣＳＰ 模型没能找到的两个新的攻击方法。

TMN密码协议的新的攻击

找到了TMN密码协议的一些新的攻击,这些攻击构成了新的一类攻击.这类攻击的入侵者既作协议的初始者,也作协议的响应者,这样扩大了密码协议攻击的种类,并可直接用于其他密码协议的分析和设计中.

基于Maria的TMN协议的LPetri网模型检测

运用形式化方法分析密码协议的安全性已成为网络信息安全领域的研究热点之一。提出一种新的扩展Petri网——LPetri网。并且利用LPetri网对TMN密码协议进行建模,采用模型检测工具Maria分析LPetri网模型的可达性,说明利用LPetri网对安全协议建模的有效性。

TMN标准的现状和发展方向

为了顺应电信和计算机产业的要求，ＴＭＮ技术必须拓宽其功能以支持分布式的管理。从ＴＭＮ的结构特性、功能需求特性、信息模型特性、协议特性、一致性原则和对协议描述等方面对现行的ＴＭＮ标准作了分析，并在权衡了现行ＴＭＮ体系结构的利弊之后，对ＴＭＮ的发展方向──ＴＩＮＡ作了探讨。

电信管理网（TMN）概述（上）

本文较详细地介绍了电信管理网（ＴＭＮ）的概念、结构、信息模型、通信协议和服务以及管理功能。

TMN与SNMP网管协议的比较分析

当前网络是一个混合结构网,既有传统的电信网,也有TCP/IP网,这两种网络使用了不同的网络协议和不同的网管模型。本文对电信网中的TMN协议和TCP/IP网中的SNMP协议进行了分析与比较,并且对应用服务器需要哪种网管协议的网管系统进行了探讨和研究,指出SNMP协议更合适作为应用服务器网管系统的网管协议。

多智体系统时态认知规范的模型检测算法

模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规范已广泛地采用知识逻辑来描述.着重研讨了时态认知逻辑的模型检测算法.在SMV(symbolicmodelverifier)模型检测器的基础上,根据知识的语义和集合理论,提出了多种检验知识和公共知识的算法,从而使SMV的检测功能由时态逻辑扩充到时态认知逻辑.这些方法也适用于其他以状态集合作为输出的模型检测方法和工具的功能扩充.

基于面向对象时间Petri网的密码协议分析

利用面向对象技术和时间Petri网的优点,提出一种基于面向对象时间Petri网的密码协议分析方法。该方法可以降低建模复杂性和计算复杂性,提高建模效率,实现时间Petri网的高度模块化,能更好地适应密码协议分析过程中的重组和扩充。实例分析结果证明了该方法的有效性。

多主体系统时态认知规范的“On the Fly”模型检测算法研究

时态认知逻辑已被广泛应用于分布式系统和协议的规范描述,模型检测时态认知规范已成为一个新的研究领域,因此着重研讨时态认知规范的“OntheFly”模型检测算法·在“OntheFly”模型检测时态逻辑描述规范的基础上,根据自动机理论、深度优先方法和知识的语义,提出了“OntheFly”模型检测时态认知规范的算法,该算法在模型检测带有知识算子的时态规范时,在找到一个反例之前,往往只需构造系统的部分甚至小部分状态空间,从而避免了时态认知规范的模型检测中内存不足和状态爆炸等问题,实现了“OntheFly”模型检测时态认知规范,并且算法的复杂性是多项式时间的·最后,通过该方法在验证TMN密码协议中的应用来作为一个例子说明该方法的有效性·

SDH网络管理系统接入的研究

结合华北电力大学开发的ＴＪＸ－Ｄ电力通信网监控系统，通过对富士通ＳＤＨ网络管理系统的分析和研究，对如何将ＳＤＨ的网络管理系统与ＴＪＸ监控系统综合的问题进行了探索性和实用性的研究，并通过软件对富士通ＳＤＨ的网管协议进行翻译和转换，实现了在ＴＪＸ监控系统中对富士通ＳＤＨ设备的监视。

基于Petri网的密码协议形式化建模

密码协议是安全共享网络资源的机制和规范,是构建网络安全环境的基石,其安全性对整个网络环境的安全起着至关重要的作用。提出了采用Colored Petri Nets(CPN,着色Petri网)分析密码协议的新方法。采用新方法对TMN协议的多次并发会话通信进行形式化建模,模型依据会话配置和会话顺序进行功能单元划分,采用on-the-fly方法生成攻击路径。采用状态空间搜索技术,发现了该协议的多次并发会话不安全状态,并获得了新的攻击模式。

一种多项式时间复杂度的密码协议秘密性验证方法

密码协议的秘密性验证是网络安全领域的一个难题,本文在提出协议行为结构的基础上,通过对协议行为及其结构的分析,提出了一种新的密码协议的秘密性验证算法,该算法的时间复杂度是多项式时间的,从而简化了秘密性验证过程,文中最后,作为实例,给出了TMN密码协议的秘密性验证。

基于Web的网管协议HMMP及其跨平台性能的实现

介绍了基于Ｗｅｂ的企业管理架构中的关键部分——超媒体管理协议，讨论了协议及其跨平台性能的实现．

建设电力通信网络管理系统

分析了电力系统专用通信网的管理要求,针对网络管理层次多、设备种类多、网络结构复杂的特点,从技术的角度提出了建设电力通信网网络管理系统的基本要求及解决方案。方案以TMN为基础兼容其他网管系统标准,强调接口的开放性,强调系统的一体化和独立性,强调网络化和对各种体系结构的兼容性。为网管系统设计和方案选择提供一些有益的建议。

通信局(站)电源、空调及环境集中监控系统的规范化建设

本文介绍了我国通信局（站）电源、空调及环境集中监控管理系统的现状，监控管理系统规范化建设的必要性，监控管理系统的基本功能，系统建设应遵循的原则，监控管理系统的工程设计、施工和验收等方面的问题。