Verification of multi-protocol attacks

Autor: Cremers, C.J.F.
Přispěvatelé: Model Driven Software Engineering, Formal System Analysis
Jazyk: angličtina
Rok vydání: 2005
Předmět:
Databáze: OpenAIRE