Some decidability result for logic constructed for checking user authentication protocols

A tétel rövid nézete
dc.contributor.authorAszalós, László
dc.contributor.authorBalbiani, Philippe
dc.date.accessioned2009-03-19T08:27:51Z
dc.date.available2009-03-19T08:27:51Z
dc.date.issued2008
dc.date.pasync2017-12-01T08:56:23Z
dc.date.updated2017-12-01T08:56:23Z
dc.identifier.citationJournal of Computer Science and Control Systems. -2008 (2008), p. 1-6. -JCSCS. - 1844-6043
dc.identifier.issn1844-6043
dc.identifier.opachttp://webpac.lib.unideb.hu:8082/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM004061hu
dc.identifier.originalhttp://www.inf.unideb.hu/~aszalos/dn/pub/rsee08.pdf
dc.identifier.urihttp://hdl.handle.net/2437/80239
dc.languageeng
dc.rights.accessopen access journal
dc.rights.ownerEditura Universitatii din Oradea
dc.subject.mabTermészettudományok
dc.subject.mabMatematika- és számítástudományok
dc.titleSome decidability result for logic constructed for checking user authentication protocols
dc.typefolyóiratcikk
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
rsee08.pdf
Méret:
101.36 KB
Formátum:
Adobe Portable Document Format
Leírás:
kiadói változat
Letöltés
Gyűjtemények
Publikációs Adatbázis