您的位置： 专家智库 > >

黄连生

作品数：19 被引量：88H指数：6
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术电子电信理学更多>>

合作作者

文献类型

  • 18篇期刊文章
  • 1篇会议论文

领域

  • 17篇自动化与计算...
  • 5篇电子电信
  • 1篇理学

主题

  • 9篇网络
  • 9篇安全协议
  • 7篇形式化
  • 7篇网络安全
  • 6篇形式化验证
  • 3篇密码
  • 3篇加密
  • 2篇形式化验证方...
  • 2篇语言
  • 2篇数字水印
  • 2篇水印
  • 2篇攻击者
  • 2篇规范语言
  • 2篇层次化
  • 1篇代码
  • 1篇代码生成
  • 1篇点对点
  • 1篇电子商务
  • 1篇电子商务协议
  • 1篇动态门限

机构

  • 19篇清华大学

作者

  • 19篇黄连生
  • 5篇戴一奇
  • 5篇王新兵
  • 4篇张磊
  • 3篇桑田
  • 3篇王道顺
  • 3篇杨克
  • 2篇周宏斌
  • 2篇梁敬弘
  • 2篇谢峰
  • 2篇黄东平
  • 1篇赵秀文
  • 1篇侯峻峰
  • 1篇周天凌
  • 1篇司天歌
  • 1篇郭宝安
  • 1篇侯俊峰
  • 1篇陈强
  • 1篇朱峰
  • 1篇邹嘉

传媒

  • 5篇清华大学学报...
  • 3篇计算机研究与...
  • 3篇计算机应用研...
  • 3篇计算机工程与...
  • 1篇电子学报
  • 1篇软件学报
  • 1篇计算机辅助设...
  • 1篇微计算机信息
  • 1篇全国第四届信...

年份

  • 2篇2007
  • 4篇2006
  • 1篇2005
  • 2篇2004
  • 2篇2003
  • 2篇2002
  • 5篇2001
  • 1篇1998
共 19 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
从Woo-Lam协议到网络协议的抽象验证被引量：1
2001年
形式化方法是验证加密协议的重要手段 ,提出了一种新的验证方法 ,该方法基于 Debbabi的推理规则 ,将参与者 ID|参与者密钥等数据结构从协议中抽象出来 ,建立起抽象的逻辑推理结构 .以 Woo- L am协议为例 ,通过逆向递推的方式得到了协议的所有攻击路径 ,并以图的形式表示其关系 ,详尽分析了协议的漏洞 ,最后 。
张磊桑田黄连生王新兵
关键词：形式化方法加密网络协议
一种安全协议组合分析方法
2006年
提出了一种安全协议组合分析方法,即使用通用认证协议规范语言CAPSL描述安全协议,然后使用连接器,将CAPSL规范转换为其他安全协议分析工具的形式化输入,从而能够利用不同分析工具的优点,来更好地保证安全协议形式化分析的准确性,同时也方便了安全协议分析者。设计了两个CAPSL连接器,并给出一个协议转换实例。
陈强黄连生赵秀文
关键词：安全协议规范语言连接器
一种对MP3Stego的攻击研究
本文在对MP3Stego1.1.16软件进行分析的基础上,给出了一种新的攻击思想;在不降低隐蔽音频质量,同时不改变其统计分布规律的基础上,使嵌入在音频上的隐藏数据失效,从而无法正确提取水印.在此基础上,结合MP3Steg...
梁敬弘王道顺黄连生戴一奇
关键词：统计分布数字水印
文献传递
保护个人的利益——电子商务协议新属性的自动验证
2004年
电子商务的快速发展加强了电子商务协议的新类型的需求,尤其对各种复杂协议的需求,这使得协议本身安全性的证明变得更为困难。为了证明电子商务协议的可靠性,研究人员已设计了各种方法。为了更加清楚地描述需要证明的电子商务协议的安全目标,研究者们已经提出了几种标志性属性,其中之一是较著名的原子性犤8犦,但这并不能完全描述电子商务协议的全部安全性定义。在犤1犦里,研究员对一项有研究价值的新属性进行了研究,称为“保护个人的利益”,并且提出一个手工验证的模型。该模型虽然有效,但是实用性较差。文章提出了一个基于模型检验这种技术的自动验证方法。
博诺黄连生
关键词：电子商务协议
基于分层的网络安全协议验证方法被引量：1
2005年
提出了一种新的基于分层的网络安全协议验证方法。首先对要验证的安全属性进行划分,将其分成若干安全子属性;其次对要进行验证的安全协议在安全性等价的条件下进行转换;然后逐步剖分成一个自底向上的多层协议,如果每一层子协议满足所要验证的安全属性的一个子属性,那么这个协议即可被证明是安全的。这种方法相比于传统的验证方法,不但高效,而且完备性更佳。
张磊侯俊峰黄连生
关键词：安全协议层次化
基于公钥的层次化网络安全协议设计
2007年
提出了一种基于公钥的层次化网络安全协议设计模型:协议的设计在若干层分别进行,每一层子协议完成协议所要实现的一个子目标,并为上一层的子协议提供数据接口,然后将各层子协议依次合并起来,完成整个协议的设计。在以前的研究工作中,协议安全性总是被看作一个整体,给协议的设计与证明带来极大的复杂性限制。层次化模型的使用简化了安全协议设计的过程,使协议的设计更加清晰,代价更小,安全性证明也更为简单。另外,所设计的协议具有更大的灵活性,可以适应各种应用系统的需求。
谢津黄连生
关键词：安全协议层次化公钥
Hlpsl2Cpp——一个安全协议编译器被引量：1
2007年
安全协议的人工实现是一个低效且易错的过程。安全协议编译器Hlpsl2Cpp可以自动从用HLPSL语言描述的安全协议生成C++的协议实现代码。Hlpsl2Cpp节省了人工实现协议的大量重复劳动,避免了人工实现安全协议带来的各种讹误和实现相关漏洞。
周天凌黄连生
关键词：代码生成规范语言安全协议网络安全
安全协议形式化验证方法的比较与分析被引量：1
2001年
网络的飞速发展，使得安全问题日益突出，而身份认证协议则是安全性的基础。目前国际上的热点是安全协议的形式化验证。文章从两个角度介绍安全协议形式化验证的方法：证明与证伪。对其各自特点进行比较与分析。
黄连生王新兵谢峰杨克
关键词：形式化验证
一种新的安全协议形式化验证方法被引量：8
2004年
形式化方法能有效检验安全协议的安全性 ,BAN类逻辑的发展极大地促进了这一领域的研究 ,但是现有的BAN类逻辑仍然存在许多问题 在分析现有BAN类逻辑的基础上 ,提出一种新的安全协议形式化验证方法 ,实现现有BAN类逻辑的验证功能 ,并使安全协议验证工作简单可行 ,便于实现机器自动验证
侯峻峰张磊黄连生
关键词：安全协议形式化验证BAN类逻辑
一种新的基于P2P系统的小额支付协议被引量：2
2006年
由于现有的基于“点对点”(peer to peer,P 2P)网络的小额支付协议具有存在中央瓶颈,缺乏负载平衡机制等缺陷,该文提出了一种新的充分利用P 2P系统特性的小额支付协议CPay。该协议在系统全部节点形成的集合与具有较高性能的节点子集合间建立动态相容哈希映射,每笔交易都需支付方对应的具有较高性能的节点进行校验,从而确保电子货币的任何非法使用都会被及时检测到。协议有效利用了系统的异构性,并能实现负载均衡,利用随机Petri网对CPay进行建模,分析和模拟结果表明CPay相比此前的研究成果具有更低的延迟和更高的吞吐率。
邹嘉司天歌黄连生戴一奇
关键词：小额支付随机PETRI网
全选 清除 导出
共2页<12>
聚类工具0