Generalizing Needham-Schroeder-Lowe for multi-party authentication

Autor:	Cremers, C.J.F., Mauw, S.
Přispěvatelé:	Model Driven Software Engineering, Formal System Analysis
Jazyk:	angličtina
Rok vydání:	2006
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=narcis______::7849443e82eea21cb85c23d0b8fa2051 https://research.tue.nl/nl/publications/4062b393-c168-443a-b60b-53199b139647 Zobrazit plný text záznamu