@article {Dichev2005, title = {Verifikation der Eigenschaften von kryptographischen Protokollen unter Verwendung von Spin Was ist Model Checking?}, year = {2005}, pages = {1{\textendash}8}, institution = {University of Stuttgart}, keywords = {cryptography, model checking}, author = {Dichev, K.} }