Magyar
Toggle navigation
Tudóstér
Magyar
Tudóstér
Keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Böngészés
Saját polc tartalma
(
0
)
Korábbi keresések
CCL parancs
CCL
Összesen 1 találat.
#/oldal:
12
36
60
120
Rövid
Hosszú
MARC
Részletezés:
Rendezés:
Szerző növekvő
Szerző csökkenő
Cím növekvő
Cím csökkenő
Dátum növekvő
Dátum csökkenő
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ó:
Saját polcon:
Rekordok letöltése
1
Corvina könyvtári katalógus v8.2.27
© 2023
Monguz kft.
Minden jog fenntartva.