Source: /wikibot/dolev-yao-model

= Dolev–Yao model
{wiki=Dolev–Yao_model}