.png){kind=icon}
返回
A model for secure protocols and their compositions
.png){kind=icon}
PRE
AI
DOI：10.1109/32.481514.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
This paper develops a foundation for reasoning about protocol security. We adopt a model-based approach for defining protocol security properties. This allows us to describe security properties in greater detail and precision than previous frameworks. Our model allows us to reason about the security of protocols, and considers issues of beliefs of agents, time, and secrecy. We prove a composition theorem which allows us to state sufficient conditions on two secure protocols A and B such that they may be combined to form a new secure protocol C. Moreover, we give counter-examples to show that when the conditions are not met, the protocol C may not be secure.
Keyword:
authentication
clocks
communication
composition
computer security
cryptography
formal methods
logic of authentication
model
model checking
protocol analysis
protocols
protocols composition of
security time
timed models
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
暂无机构信息
引用论文
Synthesis, Characterisation and Catalytic Application of Oxidorhenium Complexes Bearing H‐Spirophosphorane Ligands含h-螺膦配体的氧化铼配合物的合成，表征及催化应用
PREAI
分享收藏
Development of Fluorescent Aptasensors Based on G-Quadruplex Quenching Ability for Ochratoxin A and Potassium Ions Detection.png)
Biosensors
OAAI
BiosensorsIF0
OAAI分享收藏STRUCTURAL ASPECTS OF IRON COORDINATION COMPOUNDS: I. MONOMERIC DERIVATIVES铁配位化合物的结构方面: I.单体衍生物
PREAI
分享收藏
查看更多内容