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 |
- 3502 reads
- XML
- BibTex
- Google Scholar
