您的位置： 专家智库 > >

国家自然科学基金(61100034)

作品数：18 被引量：52H指数：4
相关作者：陈哲黄志球方元康王哲民吉祖勤更多>>
相关机构：南京航空航天大学盐城师范学院池州学院更多>>
发文基金：国家自然科学基金教育部留学回国人员科研启动基金中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 18篇中文期刊文章

领域

  • 18篇自动化与计算...

主题

  • 5篇网络
  • 5篇路由
  • 4篇形式化
  • 4篇路由协议
  • 3篇AD
  • 3篇AD_HOC
  • 2篇形式化验证
  • 2篇自动机
  • 2篇WEB服务组...
  • 2篇AD_HOC...
  • 2篇C程序
  • 2篇HOC网
  • 2篇HOC网络
  • 2篇WEB服务
  • 1篇代码
  • 1篇定理
  • 1篇定理证明
  • 1篇队列
  • 1篇队列管理
  • 1篇队列管理算法

机构

  • 13篇南京航空航天...
  • 3篇盐城师范学院
  • 2篇池州学院
  • 1篇安徽大学
  • 1篇池州职业技术...
  • 1篇广西财经学院

作者

  • 9篇陈哲
  • 7篇黄志球
  • 4篇方元康
  • 3篇吉祖勤
  • 3篇王哲民
  • 2篇黄津津
  • 2篇马银雪
  • 2篇朱云龙
  • 1篇李忠慧
  • 1篇邹汪平
  • 1篇肖芳雄
  • 1篇李文明
  • 1篇李绪蓉
  • 1篇范大娟
  • 1篇刘纯丽
  • 1篇徐丙凤
  • 1篇邹海
  • 1篇曹子宁
  • 1篇李燕
  • 1篇马琳

传媒

  • 6篇小型微型计算...
  • 4篇计算机技术与...
  • 1篇计算机学报
  • 1篇计算机应用与...
  • 1篇实验室研究与...
  • 1篇计算机与数字...
  • 1篇计算机与现代...
  • 1篇科学技术与工...
  • 1篇巢湖学院学报
  • 1篇控制工程

年份

  • 1篇2018
  • 4篇2017
  • 2篇2016
  • 2篇2015
  • 3篇2014
  • 5篇2013
  • 1篇2012
共 18 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于被动服务发现的Ad hoc接入机制
2013年
Ad hoc网络通常是以一个独立的通信网络形式存在的,但在很多情况下,仅仅依靠独立的Ad hoc网络已经无法满足用户的需求,Ad hoc网络只有与其它网络实现互连互通才能真正发挥各个网络的潜能。因此,深入研究Ad hoc网络的接入问题具有重要意义。文中针对上层应用服务的建立过程,在服务定位SLP协议基础上,提出了一种基于被动模式的服务发现机制,并深入阐述了服务的被动发现过程,进而对该介入机制中的相关会话及安全等问题提出管理方案和措施。
李群
关键词：ADHOC会话管理
基于NS2的队列管理算法DropTail和RED仿真与研究被引量：8
2014年
随着Internet的快速发展网络拥塞问题随之产生,拥塞控制行之有效的手段是在网络层实现队列管理。队列管理算法可以分为主动队列管理和被动队列管理两种。通过NS2仿真实验,对主动队列管理算法RED、被动队列管理算法DropTail的平均队列长度、吞吐量、丢包率、时延四个主要性能指标进行了比较。将得到的仿真数据进行分析,在队列长度、时延、丢包率方面,RED算法比起DropTail算法有着绝对的优势;在吞吐量方面,两种算法相差不大。因此,得出在队列管理算法中采用RED比采用DropTail更有效,为进一步研究拥塞控制算法提供了依据。
吉祖勤黄津津
关键词：网络拥塞随机早期检测网络仿真
基于多径路由的安全消息传输协议MODSMT的设计
2013年
移动自组网中现有的基于多径路由的安全消息传输协议在机密性和可用性方面不能同时得到保证。提出一种安全增强的数据传输协议MODSMT(Modified Secure Message Transmission)。MODSMT协议关注的是数据的可用性和机密性,它在SMT协议基础上进行安全优化,每条路径上的加密密钥是通过采用秘密值关联的单向函数动态地计算而得出,编码片段加密后分开传输加密数据和对应密钥参数,并通过多径传输到目的节点。仿真表明,MODSMT协议对数据的可用性和机密性能够同时兼顾。
吉祖勤黄津津方元康
关键词：移动自组网多径路由
C程序内存安全的运行时检测方法研究和实现被引量：6
2017年
随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.然而由于C语言自身缺乏边界检测的机制,使得它不能确保软件的可靠性与安全性.当前的检测方法都或多或少存在问题,如不兼容、不完整等.设计了一种完整的C程序内存安全的运行时检测方法,能确保C程序的时间内存安全和空间内存安全.本文是采用基于指针方法,并且借助开源编译器clang实现了确保C程序内存安全的运行时验证工具TASSafe.通过实验证明我们的工具是有效并且是高效的.
严俊琦陈哲黄志球
关键词：缓冲区溢出
使用模型检验自动化验证路由协议被引量：2
2015年
模型检验可验证路由协议的收敛性,环路问题,包交付失败,由于协议描述的歧义导致的问题,安全性缺陷等.实验一建立关注链路状态数据库同步的OSPF模型,设置攻击者路由器伪造消息,找到攻击成功的反例;实验二建立关注节点加入、失效和相应处理的Chord模型,寻找协议缺陷.两个模型都用显式模型检验工具SPIN和有界模型检验工具CBMC实现验证,实验结果表明SPIN解决此类问题更有优势.
马银雪陈哲黄志球黄吴丹
关键词：形式化方法SPIN
边界网关协议安全性的模型检验方法研究被引量：3
2017年
作为一种域间路由协议,边界网关协议在因特网上被广泛部署用来进行自治系统之间可达信息的交换.与一般的路由协议不同,它采用了策略来对路由信息的转发进行控制,从而保证链路的安全性.但是由于协议的复杂性,导致其中存在许多的安全漏洞.首先提出一种用来描述协议的抽象方法,然后使用这种方法对具体的网络进行简化,使其更易于分析.在简化后的抽象描述方法基础上,使用Promela建立协议的模型.之后提出了三种基本性质以及两种攻击方式,并且使用SPIN模型检测器对这些性质进行自动验证.通过分析无攻击和有攻击两种情况下的实验数据,我们发现这些攻击对路径的正确选择产生了影响.
黄吴丹陈哲
关键词：边界网关协议形式化验证
嵌套模式模板在运行时验证中的应用被引量：1
2017年
随着信息技术的迅速发展,对于硬件、软件、网络等可靠性的高效检验成为急需解决的一个重要问题.在众多验证方法中,运行时验证由于其反馈及时、轻量级等多种优势正被应用到越来越广泛的领域.然而,现有运行时验证方法仍有两方面的不足:其一,尽管现有运行时验证中对性质的描述采用形式化方法,但现有自然语言向形式化语言的转化过程不能直接完成,这就会极大的影响了运行时验证的推广使用.其二,现有运行时中规约都是常量事件,并具有不可变性,而在实际中大量事件之间的关系是具有共性的.因此,在对现有规约进行统计的基础上,抽象出常用规约组成模式库,这样用户可根据需要,来调用模式库中的模板,从而减少了从自然语言到形式化方法的转化过程中所需的人工干预.
李昕陈哲王哲民黄志球
Ad Hoc网络中Web服务组合研究分析
2014年
已有的Web服务组合方法多数基于有基础结构的网络环境,在无基础结构的Ad Hoc网络中并不适用。无线移动自组网中的服务组合的研究还在初段,很多问题还有待进一步的研究、解决。在给出Web服务组合概念的基础上,探讨了Ad Hoc网络中Web服务组合过程中的服务发现、服务可用性量化评估、QoS感知的服务选择等关键问题,并对Ad Hoc网络中Web服务组合的研究现状进行了分析。
吉祖勤李忠慧方元康
关键词：ADHOC网络WEB服务组合服务质量
针对C语言的面向方面语言设计与实现被引量：6
2016年
C语言是使用率仅次于Java的编程语言,在实时控制、嵌入式系统、硬件驱动等领域有着广泛的应用.发展自面向对象的面向方面编程(AOP)思想是对横切关注点的有效模块化方法,如何将AOP的概念引入到面向过程的C语言中,提高开发效率和代码复用率,是一个非常有实际意义的课题.针对该课题,本文设计并实现一种针对C的AOP语言MOVEC.分析了AOP的基本概念并将现有针对C的AOP语言进行了对比;设计了更加完善的针对C的AOP语言MOVEC;给出了基于开源编译器Clang和源代码插桩的M OVEC语言实现;通过实验从时间和空间效率上证明了M OVEC语言的可行性.
朱云龙陈哲王哲民李绪蓉黄志球
关键词：C语言源代码
基于对象的C程序边界安全检测改进技术
2015年
C语言对内存操作不进行边界安全检测,这使C程序具有高执行效率,但也产生各种安全问题,例如数组越界、指针访问越界、C库函数的非法操作等。基于对象的运行时验证技术能实时监测程序的运行行为,自动找出程序中存在的漏洞。在原有基于对象技术的基础上,改进多维数组和结构体变量的地址范围记录方式,用2次地址查询操作检测指针访问,用平衡二叉树优化存储结构。实验结果表明,改进的方法优于传统的基于对象技术。
马银雪李文明陈哲
全选 清除 导出
共2页<12>
聚类工具0