Work

Symbolic model checking the knowledge of the dining cryptographers

Year: 2004

Type: conference-paper

Source: IEEE Computer Security Foundations Workshop (CSFW)

DOI: 10.1109/csfw.2004.1310747

Authors: R. van der Meyden, Kaile Su

Institutions: UNSW Sydney, Data61

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4244435490

FWCI: 3.418

Cites: 27

Cited by: 38

Related to: 10