Some decidability result for logic constructed for checking user authentication protocols

Dátum
2008
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