Documente Academic
Documente Profesional
Documente Cultură
Cunoaștere Și Credinte În Logica SvO - Rezumat
Cunoaștere Și Credinte În Logica SvO - Rezumat
Cunoaștere Și Credinte În Logica SvO - Rezumat
- Rezumat -
Descrierea referatului
Echipa
Referatul a fost realizat de o echipa formata din doi studenti : Hanu Theodor
Flavian si Hriscu Alexandru Florin. Inca de la inceput am incercat sa ne impartim
sarcinile in mod egal si independent astfel incat sa acoperim o zona mai mare de
informatii. Au fost insa si capitole in care a trebuit sa le studiem impreuna, cum ar fi
partea cu regulile si axiomele logicii SvO, care constituiau practic baza acestei logici.
Pe parcursul redactarii referatului am fost intotdeauna in contact unul cu celalalt
astfel incat sa stim la ce lucreaza celalalt. Punctual, redactarea referatului a fost
realizata astfel :
Hanu Theodor Flavian
- Sintaxa logicii SvO
- Regulile logicii SvO
- Axiomele logicii SvO
- Analiza protocolului Mobile Internet Protocol, versiunea 6
Hriscu Alexandru Florin
- Introducere
- Analiza protocolului schimbului de chei bazat pe Diffie-Hellman folosind un id unic
per comunicare folosind logica SvO
- Comparatie intre logicile modale SvO, BAN si GNY
- Concluzie
Directii de studiu
Logicile epistemice sunt logici de incredere, care se preteaza cel mai bine
pentru verificarea protocoalelor de securitate, lucru demonstrat inca de la aparitia
logicii BAN. Se poate demonstra ca logicile epistemice pot fi utilizate pentru a
deduce intr-un mod complet notiunea de indistingibilitate relativa la analiza
securitatii. Echivalenta observationala, semantica agentului bazata pe istoricul
identitatii si fluxul de informatii pot fi axiomatizate. Drept consecinta, atat logica BAN,
cat si succesoarea ei, logica SvO, pot fi incorporate in logicile epistemice. Deoarece
model checker-ul MCMAS( folosit pentru logicile epistemice ), contine un subset
consistent din CTL*, proprietatile temporale ar putea fi specificate impreuna cu alte
proprietati care sa contina crede/stie. Logicile epistemice au, in plus, un set de
agenti ale caror credinte sunt definite prin elementele fiecarei lumi. Operatorul modal
K ( knows/stie/crede) cuantifica propozitiile asupra agentilor. Formulele sunt
interpretate in mod similar cu logica SvO, ex.: propozitia p (Agentul crede ceva) are
loc in lumea w si in toate lumile w, accesibile din w.
O alta arie viitoare de cercetare este cea a verificarii protocoalelor de
autentificare a platilor electronice si a autorizarii platilor cu cardul, elemente din ce in
ce mai prezente in viata de zi cu zi.