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 2 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:
BIBFORM020409
Első szerző:
Aszalós László (matematikus)
Cím:
Applying Spi-calculus for PayWord / László Aszalós, Andrea Huszti
Dátum:
2011
Megjegyzések:
Achieving strong security properties is a core part of wide acceptance of electronic commerce, hence it is essential to provide detailed security analysis for cryptographic protocols. There are protocols considered secure for a long time, still it is shown they contain aws. Therefore it has been recognized that informal arguments about protocol correctness are not reliable. Formal methods offer a promising way for automated security analysis. Spi-calculus is designed for describing and analyzing cryptographic protocols. In this article we present how to employ this method for formalizing the micropayment scheme PayWord developed by Ronald L. Rivest and Adi Shamir.
ISBN:
978 963 9894 72 3
Tárgyszavak:
Műszaki tudományok
előadáskivonat
micropayment
spi-calculus
Megjelenés:
Proceedings of The 8th International Conference on Applied Informatics : Eger, Hungary, January 27 - 30, 2010 / ed. Attila Egri-Nagy [et al.]. - p. 295-302. -
További szerzők:
Huszti Andrea (1975-) (informatikus)
Internet cím:
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon:
2.
001-es BibID:
BIBFORM039362
Első szerző:
Huszti Andrea (informatikus)
Cím:
Payment approval for PayWord / László Aszalós, Huszti Andrea
Dátum:
2012
Tárgyszavak:
Természettudományok
Matematika- és számítástudományok
előadáskivonat
Fizikai-, Számítás- és Anyagtudomány
Megjelenés:
Information Security Applications 13th International Workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised Selected Papers. / Dong Hoon Lee, Mot Yung (eds.). - p. 161-176. -
További szerzők:
Aszalós László (1969-) (matematikus)
Pályázati támogatás:
TÁMOP-4.2.1/B-09/1/KONV-2010-0007
TÁMOP
Kriptográfia algoritmusok és protokollok
K75566
OTKA
Internet cím:
Intézményi repozitóriumban (DEA) tárolt változat
Szerző által megadott URL
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.