Minden hallgató e-mail-ben megkapott egy javított protokollt. A feladat ezen javítás analízise az órán bemutatott Proverif ellenőrző segítségével. A Proverif használatához az előadásfóliák és a ProVerif weboldalán található használati útmutató nyújt segítséget.
Beadandó egy 2-3 oldalas dolgozat, mely tartalmazza a Proverif inputját, rövid outputját (RESULT sorokat), és ha támadást talált az elemző, akkor a támadás magyarázatát és a hiba okát.
A dolgozatot pdf formátumban az alábbi e-mail címre kell elküldeni. Beadási határidő: 2014. április 22.