Some decidability result for logic constructed for checking user authentication protocols
Dátum
2008
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
Természettudományok, Matematika- és számítástudományok
Jogtulajdonos
Editura Universitatii din Oradea
URL
Jelzet
Egyéb azonosító
Forrás
Journal of Computer Science and Control Systems. -2008 (2008), p. 1-6. -JCSCS. - 1844-6043