Takács, Péter2012-07-102012-07-102010Acta Medicinae et Sociologica. -1 : 1 (2010), p. 97-106. -Acta Med. Sociol. - 2062-02842062-0284http://hdl.handle.net/2437/130903Többcsatornás kriptográfiai protokollok formális vizsgálata: MANA IIIfolyóiratcikkopen access journalhttp://webpac.lib.unideb.hu:8082/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM035912Műszaki tudományokInformatikai tudományok2017-12-01