Search
Now showing items 1-1 of 1
(Master thesis / Hovedoppgave, 2003)
Dette arbeidet handler om autentiseringsprotokoller og ulike formelle metoder som benyttes
i arbeidet med dem. I oppgaven benytter jeg de metodene ASM (Abstrakte tilstandsmaskiner),
og AsmL (Abstrakt tilstandsmaskinspråk) ...