【摘 要】
：
OAuth 2.0协议为新型开放授权协议，主要解决用户账号关联和资源共享问题.但其弱安全性导致各网络公司海量用户信息泄露，且OAuth 2.0传输数据采用的https通道效率低下，成为黑
【机 构】
：
华东交通大学软件学院,江西南昌330013
【出 处】
：
2015全国理论计算机科学学术年会
论文部分内容阅读
OAuth 2.0协议为新型开放授权协议，主要解决用户账号关联和资源共享问题.但其弱安全性导致各网络公司海量用户信息泄露，且OAuth 2.0传输数据采用的https通道效率低下，成为黑客攻击对象.提出采用http通道传输OAuth 2.0协议数据，基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模，运用SPIN进行模型检测.形式化分析结果表明，采用公钥加密体系对OAuth2.0协议进行加密不安全.上述建模方法对类似的授权协议形式化分析有重要借鉴意义.
其他文献
副本技术广泛应用于云计算及分布式系统中，合理的数据副本放置是降低网络运行成本的重要手段，也是副本技术的核心问题.副本更新是针对网络中数据访问请求的动态变化而进行
在现代基于虚拟化的数据中心上,虚拟机分配是实现云中资源有效调度的首要考虑.在云系统中,大数据被划分成多个数据存储在数据中心的数据结点上等待虚拟机处理.此时,不仅
A color image encryption algorithm based on modified RC4 and chaotic maps is proposed in this paper.The classic RC4 algorithm is modified in cryptography, a
Document databases are becoming popular, but how to present complex document query to obtain useful information from the document remains an important topic
片上网络作为一种将大量嵌入式内核集成到单个晶圆片上的可行性技术，与传统片上系统相比，更能应对未来需要更大规模集成内核的挑战，从而得到了更广泛的应用。然而，目前大多数
随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用,近几
为了降低图像轮廓检测中纹理对检测结果的影响，提出一种基于双尺度高斯核方向导数滤波器的图像轮廓检测算法。结合大小两个尺度高斯核方向导数滤波器构造图像的边缘强度映
Kidney exchange programs have been established in several countries to organize kidney exchanges between incompatible patient-donor pairs.The core of these
FDTD算法是电磁场领域使用非常广泛的数值计算方法,该方法具有很好的精度与灵活性,已成为求解各种电磁场问题的有力的工具。半导体技术的快速发展使得CPU的计算性能有了
In this paper, a novel approach for initializing clustering centers of K-Means algorithm is presented.This method is based on the variance of dimension, whi