计算模型下的SSHV2协议认证性自动化分析

安全内壳(SSH)协议可以实现本地主机与远程节点的网络文件传输、远程登录、远程命令执行及其他应用程序的安全执行,其在保障网络安全方面发挥着重要作用。针对第二代安全内壳(SSHV2)协议的安全性进行研究,介绍SSHV2协议体系结构,解析出认证消息的消息结构,基于计算模型应用概率多项式进程演算,即Blanchet演算,对SSHV2安全协议进行形式化建模,并应用安全协议自动化分析工具CryptoVerif分析其认证性,结果表明,在计算模型下SSHV2安全协议具有认证性。

改进的OAuth2.0协议及其安全性分析

随着OAuth2.0协议的广泛应用,其安全性受到了人们的重点关注.为了增强OAuth2.0协议的安全性,本文首先引入数字签名技术,提出一个改进的OAuth2.0协议.它支持授权服务器对资源拥有者和客户端的身份认证.并且在计算模型下基于Blanchet演算,应用一致性对授权服务器认证资源拥有者和客户端进行建模,最后使用自动化工具CryptoVerif分析和证明了其认证性.

基于SAML2.0的单点登录模型及其安全性研究

随着互联网的发展,人们对安全协议及模型的安全关注度越来越高。由于SAML2.0标准被越来越多的厂商支持用于单点登录,因此关于其安全性的研究也越来越多。根据SAML2.0标准,针对标准给出的IdP起始的Web-SSO模型对每一步消息结构进行细化,使用形式化分析工具ProVerif对该模型进行建模,分析其安全性。

浅析水培蔬菜技术发展前景

2020年广东省普宁市水果蔬菜发展研究中心引进水培蔬菜技术,试验品种有生菜、芥菜、黄叶小白菜、上海青、油麦菜、樱桃番茄、青瓜等蔬菜新品种16个,试验取得成功,将引领蔬菜发展新方向,提升栽培技术水平,创造更大的经济效益。由于实践经验不足,试验受到一定限制。梳理了传统种植常见问题,概述了国内外水培技术的发展,阐述了水培蔬菜栽培管理以及种植优势,并针对水培蔬菜发展存在的问题,提出了针对性的解决措施。