黄连生

作品数：18被引量：52H指数：4
导出分析报告
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文主题：安全协议网络安全形式化验证数字水印形式化验证方法更多>>
发文领域：自动化与计算机技术电子电信理学更多>>
发文期刊：《清华大学学报（自然科学版）》《计算机辅助设计与图形学学报》《计算机应用研究》《计算机工程与应用》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于公钥的层次化网络安全协议设计
《微计算机信息》2007年第30期63-64,90,共3页谢津 黄连生 
提出了一种基于公钥的层次化网络安全协议设计模型:协议的设计在若干层分别进行,每一层子协议完成协议所要实现的一个子目标,并为上一层的子协议提供数据接口,然后将各层子协议依次合并起来,完成整个协议的设计。在以前的研究工作中,协...
关键词：安全协议 设计模型 层次化 公钥 
Hlpsl2Cpp——一个安全协议编译器被引量：1
《计算机应用研究》2007年第6期123-126,共4页周天凌 黄连生 
安全协议的人工实现是一个低效且易错的过程。安全协议编译器Hlpsl2Cpp可以自动从用HLPSL语言描述的安全协议生成C++的协议实现代码。Hlpsl2Cpp节省了人工实现协议的大量重复劳动,避免了人工实现安全协议带来的各种讹误和实现相关漏洞。
关键词：代码生成 规范语言 安全协议 网络安全 
一种安全协议组合分析方法
《计算机应用研究》2006年第6期105-107,155,共4页陈强 黄连生 赵秀文 
国家科技部"973"基金资助项目(2003CB314805)
提出了一种安全协议组合分析方法,即使用通用认证协议规范语言CAPSL描述安全协议,然后使用连接器,将CAPSL规范转换为其他安全协议分析工具的形式化输入,从而能够利用不同分析工具的优点,来更好地保证安全协议形式化分析的准确性,同时也...
关键词：安全协议 组合分析 规范语言 连接器 
一种新的基于P2P系统的小额支付协议被引量：1
《清华大学学报（自然科学版）》2006年第4期563-567,共5页邹嘉 司天歌 黄连生 戴一奇 
国家自然科学基金资助项目(90104032);国家"八六三"高技术项目(2005AA114160)
由于现有的基于“点对点”(peer to peer,P 2P)网络的小额支付协议具有存在中央瓶颈,缺乏负载平衡机制等缺陷,该文提出了一种新的充分利用P 2P系统特性的小额支付协议CPay。该协议在系统全部节点形成的集合与具有较高性能的节点子集合...
关键词：“点对点”(peer to peer P2P)网 小额支付 相客哈希 随机PETRI网 
一种新的(k,n)阈值可视密钥分存方案被引量：7
《电子学报》2006年第3期503-507,共5页黄东平 王道顺 黄连生 戴一奇 
国家自然科学基金(No.90304014);国家863高技术研究发展计划(No.2005AA114160)
本文提出(k,n)阈值可视秘密分存的一种新的分析和实现方案.该方案从可视分存的对比度条件和安全性条件入手,建立起一个方程组,最后得到其近似最优解和基本矩阵的构造方案.该方案将(k,n)和(n,n)方案统一起来分析,使之和谐统一;同时,通过...
关键词：阈值 秘密分存 可视密码 
动态门限秘密共享方案被引量：21
《清华大学学报（自然科学版）》2006年第1期102-105,共4页黄东平 王华勇 黄连生 戴一奇 
国家自然科学基金资助项目(90104032)
为了克服现有的门限秘密共享方案在处理参与者集合动态变化时灵活性差的缺点,提出了一个门限秘密共享方案,并给了一个简单实用的计算L agrange插值的方法。该方案可以动态添加或者删除参与者,而不需要重新分发子秘密,减小了方案实施的代...
关键词：数据安全 秘密共享 门限 动态 
基于分层的网络安全协议验证方法被引量：1
《计算机应用研究》2005年第7期143-145,共3页张磊 侯俊峰 黄连生 
提出了一种新的基于分层的网络安全协议验证方法。首先对要验证的安全属性进行划分,将其分成若干安全子属性;其次对要进行验证的安全协议在安全性等价的条件下进行转换;然后逐步剖分成一个自底向上的多层协议,如果每一层子协议满足所要...
关键词：安全协议 层次化 验证方法 
一种新的安全协议形式化验证方法被引量：1
《计算机研究与发展》2004年第8期1415-1420,共6页侯峻峰 张磊 黄连生 
形式化方法能有效检验安全协议的安全性 ,BAN类逻辑的发展极大地促进了这一领域的研究 ,但是现有的BAN类逻辑仍然存在许多问题 在分析现有BAN类逻辑的基础上 ,提出一种新的安全协议形式化验证方法 ,实现现有BAN类逻辑的验证功能 ,并使...
关键词：安全协议 形式化验证 BAN类逻辑 自动验证 
保护个人的利益——电子商务协议新属性的自动验证
《计算机工程与应用》2004年第12期153-155,226,共4页博诺 黄连生 
电子商务的快速发展加强了电子商务协议的新类型的需求,尤其对各种复杂协议的需求,这使得协议本身安全性的证明变得更为困难。为了证明电子商务协议的可靠性,研究人员已设计了各种方法。为了更加清楚地描述需要证明的电子商务协议的安...
关键词：电子商务协议 自动验证 模型检验 
对MP3Stego的攻击研究被引量：7
《计算机辅助设计与图形学学报》2003年第8期954-960,共7页梁敬弘 王道顺 黄连生 戴一奇 
国家重点基础研究发展规划项目(G19980 3 0 42 0 )资助
针对普遍使用的MP3水印嵌入的最新软件MP3Stego1 1 16版 ,提出一种攻击思想 :在不降低隐蔽音频质量、不改变其统计分布规律的条件下 ,使嵌入在音频上的隐藏数据失效 ,从而无法正确提取水印 根据这种思想 ,结合MP3Stego1 1 16软件 ,提出...
关键词：MP3Stego1.1.16软件 数字音频媒体 信息隐藏 数字水印 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部