arrow
返回

Prudent engineering practice for cryptographic protocols

delete1996-01-01
delete240
delete
OA
AI
M
M. Abadi *
R
R. Needham
DOI:10.1109/32.481513delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
We present principles for designing cryptographic protocols. The principles are neither necessary nor sufficient for correctness. They are however helpful, in that adherence to them would have prevented a number of published errors. Our principles are informal guidelines; they complement formal methods, but do not assume them. In order to demonstrate the actual applicability of these guidelines, we discuss some instructive examples from the literature.
Keyword:
cryptography
authentication
cryptographic protocols
authentication protocols
security

期刊

IEEE Transactions on Software Engineering 封面图
IEEE Transactions on Software Engineering
IF:
5.6
论文数:
2.8K
被引数:
1.1W

机构

暂无机构信息
引用论文

引用论文

err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
Ultrastructural localization of rotavirus antigens using colloidal gold
err1984-01-01
err0
PREAI
errBetty L. Petrie; Harry B. Greenberg; David Y. Graham; Mary K. Estes
err分享
err收藏
err分享
err收藏
A complete table of electronegativities
err1960-05-01
err0
PREAI
errElbert J. Little; Mark M. Jones
err分享
err收藏
学者 查看更多内容