Some decidability result for logic constructed for checking user authentication protocols

Aszalós, LászlóBalbiani, Philippe2009-03-192009-03-192008Journal of Computer Science and Control Systems. -2008 (2008), p. 1-6. -JCSCS. - 1844-60431844-6043http://hdl.handle.net/2437/80239Some decidability result for logic constructed for checking user authentication protocolsfolyóiratcikkopen access journalhttp://webpac.lib.unideb.hu:8082/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM004061TermészettudományokMatematika- és számítástudományokEditura Universitatii din Oradeahttp://www.inf.unideb.hu/~aszalos/dn/pub/rsee08.pdf2017-12-01