|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 10 van 31 gevonden artikelen
| Titel: |
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol |
| Auteur: |
Kacprzak, Magdalena Lomuscio, Alessio Niewiadomski, Artur Penczek, Wojciech Raimondi, Franco Szreter, Maciej |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 72 (2006) nr. 1-3 pagina's 215-234 |
| Jaar: |
2006-08-08 |
| Inhoud: |
We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity requirements specified. Two different model checking techniques (ordered binary decision diagrams and SAT-based bounded model checking) are evaluated and compared to verify the protocols. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 10 van 31 gevonden artikelen
| << vorige | volgende >> |