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 |
Externí odkaz: |
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 |
Externí odkaz: |