Static validation of security protocols

DMCA

Static validation of security protocols (2005)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Chiara Bodei , Mikael Buchholtz , Pierpaolo Degano , Flemming Nielson , Hanne Riis Nielson

Venue:	Journal of Computer Security
Citations:	49 - 15 self

BibTeX

@ARTICLE{Bodei05staticvalidation,
    author = {Chiara Bodei and Mikael Buchholtz and Pierpaolo Degano and Flemming Nielson and Hanne Riis Nielson},
    title = {Static validation of security protocols},
    journal = {Journal of Computer Security},
    year = {2005},
    volume = {13},
    pages = {2005}
}

OpenURL

Abstract

Please do not distribute We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. We then apply static analysis technology to develop an automatic validation procedure for protocols. Finally, we demonstrate that these techniques suffice for identifying a number of authentication flaws in symmetric and asymmetric key protocols such as Needham-Schroeder symmetric key, Otway-Rees, Yahalom, Andrew Secure RPC, Needham-Schroeder asymmetric key, and Beller-Chang-Yacobi

Keyphrases

static validation security protocol asymmetric key protocol automatic validation procedure process algebra technique suffice systematic expansion protocol narration static analysis technology detailed check authentication flaw needham-schroeder symmetric key andrew secure rpc needham-schroeder asymmetric key

DMCA