Összesen 1 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ó:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.