Work

Analysing a stream authentication protocol using model checking

Year: 2004

Type: article

Source: International Journal of Information Security

DOI: 10.1007/s10207-004-0040-1

Authors: Philippa Hopcroft, Gavin Lowe

Institution: University of Oxford

Language: English

Topic: Advanced Authentication Protocols Security

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2787071709

FWCI: 0.338

Cites: 18

Cited by: 8

Related to: 10