|
Titlul: Protocoale de securitate Scris de: Cosmin Negruseri din Aprilie 20, 2008, 12:34:31 Comentarii la postul http://infoarena.ro/blog/protocoale-de-securitate
Titlul: Răspuns: Protocoale de securitate Scris de: Cristian Strat din Aprilie 23, 2008, 10:18:02 Un subiect cam dificil... :)
Titlul: Răspuns: Protocoale de securitate Scris de: Stefan Ciobaca din Aprilie 23, 2008, 22:30:28 Cred ca introducerea mea lasa de dorit mai mult decat subiectul este in sine greu :D
Dar ceea ce spui tu e adevarat din doua puncte de vedere: 1. problemele de verificare sunt greu de modelat matematic (si deseori greu de rezolvat :D) 2. problemele de verificare sunt foarte grele dpdv computational: multe sunt nedecidabile (nu exista algoritmi care sa le rezolve -- caz in care cautam subclase decidabile), altele sunt EXPTIME, NP-complete etc. De exemplu, un adevarat succes in verificarea protocoalelor a fost reprezentat de un rezultat de NP-completitudine pentru verificarea confidentialitatii in cazul unui numar marginit de sesiuni. Desi problemele de rezolvat sunt demonstrabil "grele" (nedecidabile, NP-complete), multe tool-uri implementeaza algoritmi/semialgoritmi care se dovedesc folositori in practica. Un exemplu de succes este reprezentat de verificarea (partiala) a protocoalelor WS-* de catre Microsoft (http://research.microsoft.com/projects/samoa/) |