Verifikation der Eigenschaften von kryptographischen Protokollen unter Verwendung von Spin Was ist Model Checking?
Title | Verifikation der Eigenschaften von kryptographischen Protokollen unter Verwendung von Spin Was ist Model Checking? |
Publication Type | Report |
Year of Publication | 2005 |
Authors | Dichev, K. |
Pages | 1–8 |
Institution | University of Stuttgart |
Keywords | cryptography, model checking |
- 3130 reads
- XML
- BibTex
- Google Scholar