Dupa cum vedeti, un protocol simplu poate fi susceptibil la atacuri suficient de subtile incat sa cerem o demonstratie formala a securitatii lui. Din pacate, desi _mult_ mai buna decat o argumentatie informala asupra securitatii, o astfel de demonstratie nu ne asigura decat... o demonstratie... intr-un anumit model. Modelul este o abstractie tractabila a realitatii; spre deosebire de model, realitatea e cruda.

<div class="picture-box">

!cosmin/stefan?alice_and_bob.png 40%!:http://xkcd.com/177/
Click pe poza pentru un comic strip de pe xkcd.com

</div>

Mai mult, e greu de spus ce inseamna *securitate*: diverse protocoale pot avea diverse cerinte; printre proprietatile de securitate cele mai studiate sunt: _confidentialitate_ ({_secrecy_}) -- atacatorul nu afla un anumit lucru, _autenticitate_ ({_authenticity_}) -- stim cine este emitatorul unui mesaj, _anonimat_ -- un utilizator nu doreste ca toata lumea sa afle ce vrea sa faca.