沈延
- 作品数：3 被引量：29H指数：1
- 供职机构：江南计算技术研究所更多>>
- 发文基金：国家科技支撑计划国家自然科学基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- SPI封包截获技术实现轻量级SSL VPN系统被引量：1
- 2010年
- 由于代理服务器价格昂贵、投资巨大、部署复杂,不太适宜中小规模企业用户。本文介绍了SPI封包截获的原理和实现方法,设计了一套Windows下采用SPI封包截获技术实现轻量级SSLVPN系统,以OpenSSL为基础,建立SSL VPN通道,使用SPI包截获技术实现系统快速部署和用户透明连接,并对标准SSL协议进行裁剪和优化,在保证安全的基础上提高了通信效率。
- 沈延李德兵何斌赵春平
- 关键词：SSLVPN安全代理
- 基于事件的群组密钥协商协议形式化分析研究被引量：1
- 2022年
- 群组密钥协商协议应用于物联网、无线通信、区块链、视频会议等领域,是当前的一个研究热点。该协议的交互消息较多,且消息认证、加密所使用的密码算法也复杂,这就给密码协议的形式化描述与安全性分析带来一定的困难。文章基于串空间理论,提出了相关概念以及基于事件的形式化分析方法。该方法直观、简洁、有效,易于对复杂的密码协议进行形式化描述,并能简化密码协议的安全性分析过程。文章基于事件的形式化分析方法对簇间非对称群组密钥协商协议进行形式化描述和分析,发现该协议不能满足一致性,即不能认证参与协议交互节点的身份。通过对该协议的分析,也证明了文章所提形式化分析方法的有效性与正确性。
- 沈延姚萌萌
- 关键词：串空间形式化分析
- 物联网安全系统架构研究被引量：27
- 2010年
- 介绍了物联网的基本概念和组成,分析了物联网当前所面临的安全问题和安全需求。为了降低物联网使用的安全风险,在给出物联网传统系统架构的基础上,通过在用户、物品和信息中心之间采取有效的安全防护措施,构建了一种物联网安全系统架构,并详细说明了其组成结构以及认证、加密和访问控制机制的实现原理。通过部署安全系统架构,能对物联网的信息传输和信息访问提供有效的安全防护,有效提升物联网整体安全。
- 郭莉严波沈延
- 关键词：加密访问控制
