.png){kind=icon}
.png){kind=icon}
Return
Information Assurance for security protocols
.png){kind=icon}
PRE
AI
DOI：10.1016/j.cose.2004.10.004.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Security protocols are used pervasively to protect distributed communications in the third Millennium. This motivates the need for a definition of Information Assurance for security protocols, which, to the best of our knowledge, is stilt missing. Such a definition is advanced in terms of the requirements that security protocols be analysed at the same time realistically, accurately and formally, notions that the existing literature only favours in separate contexts. The precise meanings of these terms are described by means of general considerations and concrete examples. The main goal of this paper is to draw attention to and raise concern on this novel but significant niche of computer security. (C) 2004 Elsevier Ltd. All rights reserved.
Keywords:
formal analysis
constraint solving
soft constraints
cryptographic protocol
realism
accuracy
formalism
retaliation
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
C
IF:
5.4
Papers:
4.6K
Citations:
1.4W
Organization
No organization information available