黄勇
- 作品数：5 被引量：8H指数：2
- 供职机构：浙江大学计算机科学与技术学院更多>>
- 发文基金：浙江省重大科技专项基金国家高技术研究发展计划广西省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于扩充环境演算的虚拟组织建模与分析
- 2008年
- 针对开放网络环境下,开发安全可靠的虚拟组织系统的分析建模与体系结构设计的复杂性问题,提出一种基于组织管理理论的环境演算设计分析方法,给出其语法和语义.以电子机构模型为例,建立它到所设计环境演算的映射规则,并以一个具体的案例,说明该方法的可用性.该演算文法特点是结合多主体组织管理理论的部门、角色、政策、演员等概念,因而更易于与其它系统高层领域概念分析模型建立关联,有利于系统概念模型到设计模型的平滑过渡.
- 蔡国永高济黄勇赵岭忠
- 关键词：环境演算电子机构多主体系统形式化方法
- 基于划分的模式匹配改进算法被引量：1
- 2008年
- 为提高基于划分窗口的字符串匹配算法（SKIP和KMPSKIP算法）的性能，结合QS算法的优点，通过提前预览下一窗口最后一个字符的移动信息跳过尽可能多的字符进行下一轮匹配，减少了匹配次数，提高了匹配效率．理论分析及实验结果均表明，改进算法在平均时间复杂度方面优于原始算法，在模式较短的情况下，ISKIP算法的平均运行时间仅为BMH算法的65％～85％．
- 黄勇平玲娣潘雪增陈健
- 关键词：快速搜索算法时间复杂度
- 基于SNMP的VPN集中管理若干关键技术研究被引量：2
- 2008年
- 广域网环境下,基于SNMP的远程集中管理可对中、大规模VPN网络实现高效安全的管理。为解决网管系统在拓扑发现方面存在的缺陷,提出了采用设备代理主动注册的解决办法。基于SNMPv3安全特性的分析,引入了公钥认证的机制,详细介绍了密钥协商的具体流程,较好地解决了网络管理协议在身份认证及加密传输方面的不足。针对基于无连接传输服务的SNMP数据传输无法保证其可靠性和实时性的不足,给出了基于XML的集中配置实现策略,实验结果表明了该策略的可行性和有效性。
- 黄勇陈小平潘雪增陈红洲蒋晓宁
- 关键词：虚拟专用网简单网络管理协议拓扑发现密钥协商
- 支持动态调节的保密性和完整性统一模型被引量：5
- 2009年
- 针对简单结合BLP模型和Biba模型导致系统不具可用性的问题,提出了一种基于多级安全策略的保密性和完整性统一模型.以保密性和完整性作为安全模型的2个维度将主体的安全标识扩充为分离的读写权限区间,根据客体的安全标识和主体访问的历史过程,通过一定的安全转换规则动态调节主体的访问范围,实现BLP模型和Biba模型的有机结合,不仅保证了系统的保密性和完整性,而且使系统具有相当的灵活性和实用性.形式化描述了模型,并对模型的安全性进行相应的分析和证明.通过实例说明了模型的有效性和可用性.
- 黄勇陈小平陈文智姜励潘雪增
- 关键词：BLP模型BIBA模型多级安全策略
- 一种基于规范的可信协同系统分析设计框架
- 2009年
- 针对可信协同系统分析建模与设计问题,提出了RBN-T模型,分析了模型中的可信保障机制及策略。提出了基于RBN-T模型的可信协同系统分析建模过程,以具体的实例说明了RBN-T模型在可信协同系统分析建模与设计上的可用性。RBN-T模型把基于角色的规范管理提升到适合可信协同系统分析建模与设计的层次,从而有利于在协同系统开发的早期阶段就关注可信问题。
- 黄勇潘雪增蔡国永平玲娣
- 关键词：角色
