论文部分内容阅读
SNMP协议是常用的网络管理协议,文章首先对该协议进行了抽象,以方便构建逻辑语句,并对抽象后的协议进行分析,找到该协议存在的缺陷。针对缺陷做了改进,再利用SVO逻辑对改进后的协议进行分析,验证了改进的有效性,并通过网络抓包的方式证实了这一结论。
基于SVO逻辑的SNMP协议的改进及形式化分析
【摘 要】
：
SNMP协议是常用的网络管理协议,文章首先对该协议进行了抽象,以方便构建逻辑语句,并对抽象后的协议进行分析,找到该协议存在的缺陷。针对缺陷做了改进,再利用SVO逻辑对改进后
【机 构】
：
湖南科技学院计算机与通信工程系
【出 处】
：
湖南科技学院学报
【发表日期】
：
2011年8期
其他文献
随着市场经济的不断发展，卷烟经营和生产都越来越尊重市场、重视需求，要求更加贴近卷烟零售客户和消费者。因此，科学、准确的市场需求预测是卷烟经营工作的核心和基础。运用科学
对电子档案的安全管理进行讨论。与传统档案安全管理相同的是,电子档案也需注意防火、防盗、防电等问题,环境需恒温、恒湿。在档案信息化视域下,档案安全管理可借助于访问控
采用AMS14C测年技术建立了哈尼泥炭地的年代序列,以泥炭碱提取液的E4/E6值（400nm和600nm处吸光度比值）来表征泥炭腐殖化度,并探讨其指示的古气候意义。研究结果表明：根据泥炭碱
分析、总结Davy公司的甲醇合成塔在运行过程中出现的常见故障,提出解决故障的处理方法和检修工艺,以保障甲醇合成塔的平稳运行,为类似设备的维护管理提供技术与检修支持。
传统封闭式机器人系统越来越不能满足市场发展的需要，研究开发开放式系统结构的教学机器人成为趋势，它为厂家用户降低操作费用，缩短编程时间等，显示了极大的优越性。
由钢丝绳缺陷类型的性质设计出钢丝绳无损检测励磁结构模型，根据磁化强度对局部缺陷型（LF）和截面积损失型（LMA）缺陷信号的影响选择钢丝绳需要磁化的磁化强度，并以钢丝绳能否磁化到
报道一种新的、较敏感的古气候代用指标——泥炭腐殖化度.通过与同一剖面木里苔草纤维素δ13C气候代用指标及其他气候代用指标的对比,得出泥炭的腐殖化度可以用作气候变化的
马伟明主任中医师为浙江省第六批全国老中医药专家学术经验继承工作指导老师,从事临床工作30余载,擅长内科常见病、多发病及疑难杂症诊治,对脾胃病治疗尤有心得,临证强调“和