CCL

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

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ó:

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