期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于ASLan++的OAuth2.0协议授权码模型形式化建模与分析
1
作者
严海星
《计算机工程与应用》
北大核心
2025年第18期309-316,共8页
OAuth2.0协议被广泛应用的同时,其安全性备受争议。针对授权码泄露和跨站请求伪造问题,对OAuth2.0协议中的授权码模型进行安全性研究。根据OAuth2.0协议标准,采用形式化建模语言ASLan++对授权码模型中的用户浏览器、第三方应用服务器和...
OAuth2.0协议被广泛应用的同时,其安全性备受争议。针对授权码泄露和跨站请求伪造问题,对OAuth2.0协议中的授权码模型进行安全性研究。根据OAuth2.0协议标准,采用形式化建模语言ASLan++对授权码模型中的用户浏览器、第三方应用服务器和授权服务器进行形式化建模,分析模型的安全目标,并采用线性时态逻辑描述授权码模型的安全性质。使用基于SAT的模型检查器对授权码形式化模型进行模型检测,实验结果发现了8条被攻击的反例,其中7条反例证明了授权码模型存在授权码等重要参数泄露的问题,另外1条反例证明了授权码模型存在跨站请求伪造攻击的风险。在研究这些检测结果时,还发现了一种新的攻击——中间人攻击。它在用户浏览器和第三方应用服务器中充当第三者,在双方通信过程中窃取重要数据。分析了产生跨站请求伪造问题的原因,提出了一个增强授权码模型安全性的建议。
展开更多
关键词
OAuth2.0协议
ASLan++
形式化方法
在线阅读
下载PDF
职称材料
大气光通信信道特性及相位补偿技术研究
被引量：
3
2
作者
吴晗玲
李新阳
+1 位作者
严海星
杨慧珍
《光通信技术》
CSCD
北大核心
2008年第7期58-61,共4页
大气湍流使光载波的强度和相位在空间和时间上都呈现随机起伏,从而极大地降低了激光通信系统的性能。基于大气湍流信道的特点,分析了各种湍流效应对大气激光通信系统性能的影响,介绍了自适应光学相位补偿技术在大气激光通信系统中的应...
大气湍流使光载波的强度和相位在空间和时间上都呈现随机起伏,从而极大地降低了激光通信系统的性能。基于大气湍流信道的特点,分析了各种湍流效应对大气激光通信系统性能的影响,介绍了自适应光学相位补偿技术在大气激光通信系统中的应用进展,特别指出基于随机并行梯度下降(SPGD)算法的自适应光学技术由于具有诸多优点,在未来的大气激光通信系统中可能有较为广阔的应用前景。
展开更多
关键词
大气激光通信
大气湍流
自适应光学
误码率
在线阅读
下载PDF
职称材料
Zernike多项式展开系数的时间相关性
3
作者
张德良
姜文汉
严海星
《强激光与粒子束》
EI
CAS
CSCD
北大核心
1997年第4期557-562,共6页
分析了受大气湍流扰动的光波波前在系统接收孔径上的Ｚｅｒｎｉｋｅ多项式展开系数的时间相关性，在此基础上进一步分析了从不同方向到达系统接收孔径的光波波前整体倾斜之间的相关性，并给出了光波在水平均匀大气中传播时的结果。
关键词
时间相关性
自适应光学
光波
大气传输
在线阅读
下载PDF
职称材料
题名
基于ASLan++的OAuth2.0协议授权码模型形式化建模与分析
1
作者
严海星
机构
福建医科大学文理艺术学院
出处
《计算机工程与应用》
北大核心
2025年第18期309-316,共8页
基金
福建省中青年教师教育科研项目(JAT190479)。
文摘
OAuth2.0协议被广泛应用的同时,其安全性备受争议。针对授权码泄露和跨站请求伪造问题,对OAuth2.0协议中的授权码模型进行安全性研究。根据OAuth2.0协议标准,采用形式化建模语言ASLan++对授权码模型中的用户浏览器、第三方应用服务器和授权服务器进行形式化建模,分析模型的安全目标,并采用线性时态逻辑描述授权码模型的安全性质。使用基于SAT的模型检查器对授权码形式化模型进行模型检测,实验结果发现了8条被攻击的反例,其中7条反例证明了授权码模型存在授权码等重要参数泄露的问题,另外1条反例证明了授权码模型存在跨站请求伪造攻击的风险。在研究这些检测结果时,还发现了一种新的攻击——中间人攻击。它在用户浏览器和第三方应用服务器中充当第三者,在双方通信过程中窃取重要数据。分析了产生跨站请求伪造问题的原因,提出了一个增强授权码模型安全性的建议。
关键词
OAuth2.0协议
ASLan++
形式化方法
Keywords
OAuth2.0 protocol
ASLan++
formal method
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
大气光通信信道特性及相位补偿技术研究
被引量：
3
2
作者
吴晗玲
李新阳
严海星
杨慧珍
机构
中国科学院力学研究所
中国科学院光电技术研究所
出处
《光通信技术》
CSCD
北大核心
2008年第7期58-61,共4页
文摘
大气湍流使光载波的强度和相位在空间和时间上都呈现随机起伏,从而极大地降低了激光通信系统的性能。基于大气湍流信道的特点,分析了各种湍流效应对大气激光通信系统性能的影响,介绍了自适应光学相位补偿技术在大气激光通信系统中的应用进展,特别指出基于随机并行梯度下降(SPGD)算法的自适应光学技术由于具有诸多优点,在未来的大气激光通信系统中可能有较为广阔的应用前景。
关键词
大气激光通信
大气湍流
自适应光学
误码率
Keywords
atmospheric laser communication
atmospheric turbulence
adaptive optics
bit-error rate
分类号
TN929.12 [电子电信—通信与信息系统]
O439 [机械工程—光学工程]
在线阅读
下载PDF
职称材料
题名
Zernike多项式展开系数的时间相关性
3
作者
张德良
姜文汉
严海星
机构
中国科学院光电技术研究所
中国科学院力学研究所
出处
《强激光与粒子束》
EI
CAS
CSCD
北大核心
1997年第4期557-562,共6页
基金
国家863激光技术领域资助
文摘
分析了受大气湍流扰动的光波波前在系统接收孔径上的Ｚｅｒｎｉｋｅ多项式展开系数的时间相关性，在此基础上进一步分析了从不同方向到达系统接收孔径的光波波前整体倾斜之间的相关性，并给出了光波在水平均匀大气中传播时的结果。
关键词
时间相关性
自适应光学
光波
大气传输
Keywords
Zernike polynomials,temporal correlation,assemble tilt,adaptive optics.
分类号
P427.1 [天文地球—大气科学及气象学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于ASLan++的OAuth2.0协议授权码模型形式化建模与分析
严海星
《计算机工程与应用》
北大核心
2025
0
在线阅读
下载PDF
职称材料
2
大气光通信信道特性及相位补偿技术研究
吴晗玲
李新阳
严海星
杨慧珍
《光通信技术》
CSCD
北大核心
2008
3
在线阅读
下载PDF
职称材料
3
Zernike多项式展开系数的时间相关性
张德良
姜文汉
严海星
《强激光与粒子束》
EI
CAS
CSCD
北大核心
1997
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
