The ASW Protocol Revisited: A Unified View
Electronic Notes in Theoretical Computer Science（2005）
摘要
We revisit the analysis of the ASW contract signing protocol and use a unified view of the protocol as a whole as a basis to reason about the protocol and its objectives. This line of reasoning yields a simpler and clearer model of agents and protocol objectives which is within the scope of standard security analysis methods, as it does not require fairness constraints and uses only standard authentication and secrecy properties. We also analyse this model for finitely and infinitely many sessions of the protocol using the automated analysis tools OFMC and its extension OFMC-FP.
更多查看译文
关键词
extension ofmc-fp,asw protocol revisited,fair exchange,fairness constraint,contract signing,standard authentication,asw contract signing protocol,unified view,clearer model,automated protocol analysis,automated analysis tool,reasoning yield,standard security analysis method,secrecy property,protocol objective,security analysis,protocol analysis
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要