CCL

Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

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ó:
Rekordok letöltése1