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
Forrás
Journal of Computer Science and Control Systems. -2008 (2008), p. 1-6. -JCSCS. - 1844-6043