Pagini: [1]   În jos
  Imprimă  
Ajutor Subiect: Protocoale de securitate  (Citit de 1648 ori)
0 Utilizatori şi 1 Vizitator pe acest subiect.
Cosmin
Echipa infoarena
Nu mai tace
*****

Karma: 351
Deconectat Deconectat

Mesaje: 1.799



Vezi Profilul
« : Aprilie 20, 2008, 12:34:31 »

Comentarii la postul http://infoarena.ro/blog/protocoale-de-securitate
Memorat
wickedman
Echipa infoarena
Nu mai tace
*****

Karma: 227
Deconectat Deconectat

Mesaje: 670



Vezi Profilul WWW
« Răspunde #1 : Aprilie 23, 2008, 10:18:02 »

Un subiect cam dificil... Smile
Memorat
sciobaca
Strain


Karma: 5
Deconectat Deconectat

Mesaje: 24



Vezi Profilul
« Răspunde #2 : Aprilie 23, 2008, 22:30:28 »

Cred ca introducerea mea lasa de dorit mai mult decat subiectul este in sine greu Very Happy

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 Very Happy)
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/)
Memorat
Pagini: [1]   În sus
  Imprimă  
 
Schimbă forumul:  

Powered by SMF 1.1.19 | SMF © 2006-2013, Simple Machines