Un protocol (și, în general, o construcție criptografică) satisface securitatea teoretică a informațiilor dacă niciun adversar nu poate sparge sistemul, indiferent cât de puternic ar fi adversarul. Termenul „teoretică a informației” își are rădăcinile în ideea că scurgerea din interacțiune poate fi studiată din perspectiva teoria informaţiei, și se poate concluziona folosind aceste instrumente, care implică de obicei un simplu amestec de statistici și teoria probabilității, că interacțiunea cu sistemul are într-adevăr scurgeri aproape nimic. Acum, securitatea perfectă și statistică sunt două forme de securitate teoretică a informațiilor: în prima, există zero scurgeri, dar în acesta din urmă există o neglijabil scurgerea decât poate fi făcută din ce în ce mai mică prin alegerea adecvată a a parametrul de securitate statistic.
Acum, un protocol, sau din nou, în general, o construcție criptografică, poate satisface securitatea calculatoarelor, ceea ce înseamnă că este sigur doar atâta timp cât adversarul are resurse de calcul limitate. Acesta este de obicei cazul când sunt utilizate instrumente precum criptarea (de obicei cu un fel de homomorfism), care au asociată o problemă de calcul pe care adversarul nu ar trebui să o poată rezolva pentru a garanta securitatea sistemului. Modul în care securitatea acestor instrumente este oficializată este prin intermediul a parametru de securitate de calcul, care, pe măsură ce crește, face problema de calcul de bază mai greu de rezolvat, oferind astfel mult mai multă încredere (dar și, de obicei, înrăutățind parametrii).
Deși cercetătorii pot fi puțin lași în ceea ce privește limbajul, situația cea mai tipică este aceea că veți găsi tipul de securitate menționat în mod explicit, de ex. ...protocolul X instanțează funcționalitatea Y cu securitate perfectă/securitate statistică/securitate computațională... Cu toate acestea, uneori se presupune că acest lucru este cunoscut din context, sau accentul în termeni de claritate se află în alte aspecte ale construcției, așa că autorii nu vor afirma acest lucru în mod destul de explicit. Ca regulă generală, dacă există vreo construcție care presupune un adversar delimitat, care include de obicei criptare, semnături, angajamente, printre altele, atunci securitatea este cu siguranță computațională. De asemenea, trebuie menționat că este destul de obișnuit ca parametrul de securitate de calcul să nu fie precizat în mod explicit.
Mai mult, și acest lucru este direct legat de întrebarea dumneavoastră inițială, este important să țineți cont de faptul că un protocol poate fi sigur din punct de vedere computațional, dar are și un parametru de securitate statistică. Acest lucru se poate întâmpla, de exemplu, dacă protocolul folosește instrumente criptografice precum criptarea și așa mai departe, dar în unele părți se bazează, de exemplu, pe o verificare statistică pe care adversarul îl poate înșela cu o probabilitate neglijabilă. Deoarece este încă adevărat că protocolul este încălcat dacă un adversar are resurse nelimitate, atunci concluzia ta este corectă: tipul de securitate ar fi doar de calcul.
