Source: wikibot/burrows-abadi-needham-logic

= Burrows–Abadi–Needham logic
{wiki=Burrows–Abadi–Needham_logic}