Predavatelj: Marian Novotny (P.J. Šafarik University in Košice)

We briefly introduce an analysis of cryptographic protocols by logics of
belief. We define a decision procedure for an automatic analysis. We
design and implement the user friendly tool ABLOB for the automatic
analysis. In this tool we implement two well-known logics – BAN, AUTLOG
and analyze some protocols from literature