Reasoning about belief in cryptographic protocols

Yahalom, R; Gong, L; Needham, R.

doi:10.1109/RISP.1990.63854

Record: found
Abstract: not found
Conference Proceedings: not found

Reasoning about belief in cryptographic protocols

proceedings-article

Author(s): L. Gong , R. Needham , R. Yahalom

Publication date (Print): 1990

Conference name: Proceedings. 1990 IEEE Computer Society Symposium on Research in Security and Privacy

Conference date: June 7, 1990 - June 9, 1990

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publication date (Print): 1990

Pages: 234-248

Article

DOI: 10.1109/RISP.1990.63854

SO-VID: 69d434ba-0ca2-4752-b61c-01c97022caa0

Conference name: Proceedings. 1990 IEEE Computer Society Symposium on Research in Security and Privacy

Conference location: Oakland, CA, USA

Conference date: June 7, 1990 - June 9, 1990

History

Data availability:

Comments

Comment on this article

scite_

Cited by 29

See all cited by

Reasoning about belief in cryptographic protocols

Read this article at

Related collections

JMIR: Research Protocols

Author and article information

Conference

Article

History

Comments

Comment on this article

Similar content 3,371

Cited by 29