.png){kind=icon}
返回
Verifying a delegation protocol for grid systems
.png){kind=icon}
PRE
AI
DOI：10.1016/j.future.2010.12.003.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In this paper, we design a non-uniform static analysis for formally verifying a protocol used in large-scale Grid systems for achieving delegations from users to critical system services. The analysis reveals a few shortcomings in the protocol, such as the lack of token integrity and the possibility of repudiating a delegation session. It also reveals the vulnerability of non-deterministic delegation chains that was detected as a result of adopting a more precise analysis, which allows for more participants in the protocol than the original protocol designers envisaged. (C) 2010 Elsevier B.V. All rights reserved.
Keyword:
Delegation
Security
Protocol verification
Static analysis
Grid
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
F
IF:
6.1
论文数:
6.9K
被引数:
2.3W
机构
引用论文
.png){kind=icon}
分享收藏Educational Performance and Psychological Disengagement Among Ethnic-Minority and Dutch Adolescents
PREAI
分享收藏 没有更多内容
没有更多内容