-
题名计算模型下的SSHV2协议认证性自动化分析
被引量：5
- 1
-
-
作者
牛乐园
杨伊彤
王德军
孟博
-
机构
中南民族大学计算机科学学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2015年第10期148-154,共7页
-
基金
湖北省自然科学基金资助项目"安全协议代码的安全性自动化验证及软件工具开发"(2014CFB249)
湖北省自然科学基金资助项目"有限射影几何方法研究高纬线性码的汉明重量"(2014CFB440)
国家民族事务委员会自然科学基金资助项目"面向位置服务的隐私保护理论与方法研究"(12ZNZ009)
-
文摘
安全内壳(SSH)协议可以实现本地主机与远程节点的网络文件传输、远程登录、远程命令执行及其他应用程序的安全执行,其在保障网络安全方面发挥着重要作用。针对第二代安全内壳(SSHV2)协议的安全性进行研究,介绍SSHV2协议体系结构,解析出认证消息的消息结构,基于计算模型应用概率多项式进程演算,即Blanchet演算,对SSHV2安全协议进行形式化建模,并应用安全协议自动化分析工具CryptoVerif分析其认证性,结果表明,在计算模型下SSHV2安全协议具有认证性。
-
关键词
第二代安全内壳协议
安全协议
计算模型
认证性
CryptoVerif工具
自动化分析
-
Keywords
Secure Shell Version 2（SSHV2）protocol
security protocol
computational model
authentication
CryptoVerif tool
automatic analysis
-
分类号
TP915.04
[自动化与计算机技术]
-
-
题名改进的OAuth2.0协议及其安全性分析
被引量：11
- 2
-
-
作者
陈伟
杨伊彤
牛乐园
-
机构
中南民族大学计算机科学学院
-
出处
《计算机系统应用》
2014年第3期25-30,39,共7页
-
基金
国家民族事务委员会自然科学基金(12ZN008)
-
文摘
随着OAuth2.0协议的广泛应用,其安全性受到了人们的重点关注.为了增强OAuth2.0协议的安全性,本文首先引入数字签名技术,提出一个改进的OAuth2.0协议.它支持授权服务器对资源拥有者和客户端的身份认证.并且在计算模型下基于Blanchet演算,应用一致性对授权服务器认证资源拥有者和客户端进行建模,最后使用自动化工具CryptoVerif分析和证明了其认证性.
-
关键词
认证性
计算模型
自动化验证
安全协议
-
Keywords
authentication
computational model
automatic verification
security protocol
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名基于SAML2.0的单点登录模型及其安全性研究
- 3
-
-
作者
杨伊彤
-
机构
中南民族大学计算机科学学院
-
出处
《软件导刊》
2015年第10期131-133,共3页
-
文摘
随着互联网的发展,人们对安全协议及模型的安全关注度越来越高。由于SAML2.0标准被越来越多的厂商支持用于单点登录,因此关于其安全性的研究也越来越多。根据SAML2.0标准,针对标准给出的IdP起始的Web-SSO模型对每一步消息结构进行细化,使用形式化分析工具ProVerif对该模型进行建模,分析其安全性。
-
关键词
SAML2.0
单点登录
Web—SSO
信息安全
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
-
题名浅析水培蔬菜技术发展前景
- 4
-
-
作者
方展序
陈建鑫
杨伊彤
蓝桂丽
-
机构
广东省普宁市水果蔬菜发展研究中心
-
出处
《中文科技期刊数据库（全文版）农业科学》
2022年第8期0178-0180,共3页
-
文摘
2020年广东省普宁市水果蔬菜发展研究中心引进水培蔬菜技术,试验品种有生菜、芥菜、黄叶小白菜、上海青、油麦菜、樱桃番茄、青瓜等蔬菜新品种16个,试验取得成功,将引领蔬菜发展新方向,提升栽培技术水平,创造更大的经济效益。由于实践经验不足,试验受到一定限制。梳理了传统种植常见问题,概述了国内外水培技术的发展,阐述了水培蔬菜栽培管理以及种植优势,并针对水培蔬菜发展存在的问题,提出了针对性的解决措施。
-
关键词
水培蔬菜
问题
解决措施
-
分类号
S626
[农业科学—园艺学]
-
