朱正超
- 作品数：8 被引量：7H指数：1
- 供职机构：江南计算技术研究所更多>>
- 发文基金：国家自然科学基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于C源码的脆弱性检测技术研究
- 2008年
- 本文首先介绍了C语言常见的几种脆弱性,接着介绍并比较了几种静态检测脆弱性的方法和工具,然后分析了静态分析优缺点并与其他的分析方法作了比较。
- 刘森松朱正超
- 关键词：软件脆弱性
- 应用安全代理方法以及应用安全代理系统
- 本发明提供了一种应用安全代理方法以及应用安全代理系统。多个安全代理设备同时连接在流量均衡器上；为每个安全代理设备分配一个终端虚拟地址池；终端与安全代理设备通信时，流量均衡器将数据转发到某个存活的安全代理设备；在安全代理设...
- 诸晔朱正超赵春平唐黎倪永年刘森松
- 文献传递
- 一种改进的基于认证测试的形式化分析方法
- 2019年
- 近年来,认证测试定理得到了改进,并应用于各种安全协议的分析。但是这些改进定理在应用范围和准确性方面存在一定的缺陷。针对这些缺陷,文章提出了一种改进的输入测试定理及加密测试定理,并给出了改进定理的证明。通过分析认证测试中常规节点的判定、证明过程中的错误、参数一致性证明过程中的不准确性和错误,指出了认证测试在使用过程中的缺陷。基于这些缺陷,文章提出了一种改进的基于认证测试的形式化分析方法——递归测试,并通过该方法证明了BAN-Yahalom协议。分析结果表明,该方法扩大了认证测试使用范围,且可以有效地、准确地分析安全协议。
- 姚萌萌朱正超刘明达
- 关键词：串空间形式化分析方法安全协议
- 一种改进的基于认证测试的形式化分析方法
- 基于串空间的认证测试是一种有效的证明安全协议的形式化方法，其简洁、直观的特性在安全协议分析验证领域得到了广泛的应用。针对认证测试应用范围和准确性，本文提出了改进的输入测试定理和加密测试定理，并提出了一种改进的基于认证测试...
- 姚萌萌朱正超刘明达
- 关键词：串空间形式化分析方法安全协议
- 应用安全代理方法以及应用安全代理系统
- 本发明提供了一种应用安全代理方法以及应用安全代理系统。多个安全代理设备同时连接在流量均衡器上；为每个安全代理设备分配一个终端虚拟地址池；终端与安全代理设备通信时，流量均衡器将数据转发到某个存活的安全代理设备；在安全代理设...
- 诸晔朱正超赵春平唐黎倪永年刘森松
- 文献传递
- IP溯源技术研究被引量：1
- 2007年
- 拒绝服务攻击是目前最难处理的网络难题之一,研究人员对其提出了多种解决方案,其中IP溯源是比较理想的一种。IP溯源技术利用路由器作为中间媒介,可以追溯到发送带有伪造地址报文的攻击者的真实位置。本文介绍了几种常见的IP溯源技术,分析比较了它们的优缺点,并对该技术的发展提出了展望。
- 刘森松朱正超
- 关键词：DOS拒绝服务
- KTCPVS实现流程分析
- 2009年
- 内核TCP虚拟服务器（Kernel TCP Virtual Server，简称KTCPVS）是Linux服务器集群系统的一个子项目，旨在解决客户／服务器模型网络中服务器瓶颈这一问题而提出的。文章介绍了内核TCP虚拟服务器的由来，以及相对于早期TCP网关的优越性；对KTCPVS的体系结构进行了阐述；通过对其源码的阅读研究，分析如何在Linux内核层中实现网络数据在客户和服务器之间的交互。
- 于小亮倪永年朱正超
- 关键词：LINUX内核虚拟服务器
- 利用OpenVPN实现在系统中的多种安全访问被引量：6
- 2008年
- OpenVPN利用虚拟网卡,以一种全新的方式实现了SSL VPN的功能,能够适应IP层之上的几乎所有应用。本文分析了OpenVPN的实现原理并且利用OpenVPN在一个安全系统上实现了五种方式的SSL访问。
- 唐黎朱正超
- 关键词：SSLVPN虚拟网卡TAP
