DMCA

IOS Press Comparing BDD and SAT based techniques for model checking Chaum’s Dining Cryptographers Protocol

by Magdalena Kacprzak , Alessio Lomuscio , Artur Niewiadomski , Wojciech Penczek , Maciej Szreter