Work

Reasoning about belief in cryptographic protocols

Year: 1990

Type: conference-paper

Source: IEEE Computer Society Symposium on Research in Security and Privacy

DOI: 10.1109/risp.1990.63854

Authors: L. Gong, R. Needham, R. Yahalom

Institution: University of Cambridge

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2102922499

FWCI: 8.534

Cites: 14

Cited by: 637

Related to: 10