Search results

Articles (3)

Journals (0)

1-3 of 3 results for Dining Cryptographers Protocol

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2006-8

Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol

Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2010-3-22

Sardaouna Hamadou, John Mullins

Journal of Computer Security

Retricted access

Research article

First published 2018-11-20

Hadi Farahani, Saman Moshiri

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology