Meno: | Jakub
|
---|
Priezvisko: | ©mahovský
|
---|
Názov: | Simplified Language Extension for Tamarin-Prover
|
---|
Vedúci: | doc. RNDr. Martin Stanek, PhD.
|
---|
Rok: | 2021
|
---|
Kµúčové slová: | cryptographic protocols, Tamarin-Prover, translator
|
---|
Abstrakt: | Tamarin-Prover is a well-known security protocol verification tool. The goal of this thesis is to design and implement an extension for Tamarin-Prover. The extension should improve usability and prevent user errors by allowing for simple description of classic security protocols, as well as presentation of intermediate and final results. An additional goal is to improve automatic proof termination by using properties of classic security protocols.
|
---|