Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
SpringerLink DE 59.00 EUR
59.00 EUR
07-09-2026 11:13:28
Ein tiefgehendes Werk über automatisierte Sicherheitsanalyse, das neue Theorien zur Protokollverifikation erläutert und praxisnahe Beispiele aus modernen Netzwerken bietet.
