Találati lista | Tudóstér

001-es BibID:	BIBFORM037715
Első szerző:	Takács Péter (informatikus)
Cím:	Javaslat a MANA II kriptográfiai protokol korrekciójára = Proposal to correct mana II cryptographic protocol / Takács Péter, Vályi Sándor
Dátum:	2008
ISBN:	978 963 473 129 0
Tárgyszavak:	Műszaki tudományok Informatikai tudományok előadáskivonat
Megjelenés:	Informatika felsőoktatásban 2008 / szerk. Pethő Attila, Herdon Miklós. - p. 112. -
További szerzők:	Vályi Sándor (1968-) (matematikus, informatikus)
Internet cím:	Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon:

001-es BibID:	BIBFORM005790
Első szerző:	Takács Péter (informatikus)
Cím:	An extension of protocol verification modal logic to multi-channel-protocols / Péter Takács, Sándor Vályi
Dátum:	2008
ISSN:	1210-3195
Megjegyzések:	The first purpose of this paper is to extend Coffey-Saidha-Newe modal logic to be able to deal with multi-channel protocols. Next, we apply the extended logic to verify validity of protocols in the MANA family.
Tárgyszavak:	Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban formal verification of cryptographic protocols
Megjelenés:	Tatra Mountains Mathematical Publications. - 41 : 3 (2008), p. 153-166. -
További szerzők:	Vályi Sándor (1968-) (matematikus, informatikus)
Internet cím:	elektronikus változat elektronikus változat
Borító:
Saját polcon: