金岩
- 作品数：6 被引量：16H指数：2
- 供职机构：哈尔滨工业大学计算机科学与技术学院更多>>
- 发文基金：国防科技技术预先研究基金国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 移动计算中协议建模的新方法-CC S形式化描述及性能评价被引量：1
- 2006年
- 利用CCS(Calcu lus of Commun icating System s)对移动计算中所涉及的传统传输层协议UDP、TCP进行了建模并给出了详细的逻辑推理说明和证明.此方法不仅限于网络协议的证明,也能够将其推广到任何与进程通信相关的模型当中.
- 金岩杨孝宗
- 关键词：移动计算CCS进程通信进程代数马尔可夫链
- 多级安全的分布式管理和动态行为被引量：3
- 2007年
- 传统的多级安全模型和在模型指导下设计出来的多级安全系统存在集中式管理和缺乏明确的动态管理机制这两个重要问题.本文研究了多级安全的分布式管理体系和动态多级安全管理策略.给出一个基于域的多级安全分布式管理模型,该模型集成了域分离、域隔离和域冗余的域管理安全策略.着重讨论了多级安全的动态行为和规范这些行为的安全管理策略.分别论证了所提出的安全策略的有效性和可行性.
- 莫毓昌杨孝宗金岩郭建立
- 关键词：安全管理策略
- 移动计算中基于CCS的传输层协议的建模与形式化描述
- 移动计算是一门新兴的技术,它是通信技术与人工智能技术相结合的产物.本文利用CCS(Calculus of Communicating Systems)对移动计算中所涉及的传统传输层协议UDP、TCP进行了建模并给出了详细...
- 金岩杨孝宗左德承董建
- 关键词：移动计算CCS进程通信进程代数
- 文献传递
- 无线传感器网络节点调度算法及研究进展被引量：10
- 2007年
- 随着无线网络技术的发展,无线传感器网络近年来引起了广泛的关注。该网络由大量具有有限感知能力和传输能力的节点组成。受节点自身能量的制约,如何能源有效的利用节点使得尽可能的延长网络工作时间成为了无线传感器网络设计的重中之重。针对无线传感器网络设计能源有效的节点调度算法可以完成这一目标。本文从技术角度给出了研究节点调度算法的意义,对现有的节点调度算法进行了分类、分析和比较。最后给出未来需要解决的若干个问题,相信会推动该领域的工作人员展开进一步的探索和研究。
- 金岩王玲杨孝宗温东新
- 关键词：无线传感器网络能源有效节点调度
- 一类动态密码认证协议的安全研究被引量：2
- 2007年
- 为了克服已有的针对动态密码认证(HDPA)的安全性分析的局限性.首先对已有的HDPA协议进行抽象,形成一个框架,对该框架从两个新角度进行安全性分析,即协议核心计算函数的安全性质和验证数据的安全关系.在分析过程中给出了HDPA协议框架的核心计算函数需要满足的安全属性和验证数据的安全关系对协议安全性影响.由于分析对象的抽象性和分析角度的新颖性,本文的分析结果具有独特性和启发性.
- 莫毓昌杨孝宗郭建立金岩
- 关键词：协议安全性分析
- 基于备份节点无线传感器网络设计策略
- 2007年
- 在无线传感器网络中由于节点的规模大小有限,能源问题成为目前设计的重点。根据网络中节点的不同任务特征提出了一个对传感器节点进行备份的分布式算法,使得在网络中尽可能减少工作节点的参与从而降低能耗。实验结果证明了算法的可行性和正确性,同时还给出了在特定环境下为达到网络最大持续工作时间所需节点数量的范围区间。
- 金岩
- 关键词：无线传感器网络分布式节能备份
