- Tytuł:
- Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol
- Autorzy:
-
Kacprzak, M.
Lomuscio, A.
Niewiadomski, A.
Penczek, W.
Raimondi, F.
Szreter, M. - Data publikacji:
- 2006
- Słowa kluczowe:
-
verification
Dining Cryptographers Protocol
bounded model checking
binary decision diagrams
SAT solver - Pokaż więcej
- Dostawca treści:
- BazTech