Back to Results
First PageMeta Content
Information / Communications protocol / Transport Layer Security / Security protocol notation / Public-key cryptography / Transmission Control Protocol / Diffie–Hellman key exchange / HMAC / Cryptographic protocols / Cryptography / Data


AnBx - Security Protocols Design and Verification? Michele Bugliesi and Paolo Modesti Universit` a Ca’ Foscari Venezia Dipartimento di Informatica {bugliesi,modesti}@dsi.unive.it
Add to Reading List

Document Date: 2010-06-10 05:02:59

Open Document

File Size: 253,89 KB

Share Result on Facebook

Company

Distributed Systems / P KB S A / /

/

IndustryTerm

iKP e-payment protocols / real cryptographic protocol / public-key cryptographic protocols / Internet Keyed Payment Protocol / remote communications / iKP protocols / e-voting / explicit cryptographic operator / e-voting protocols / e - commerce / broken protocols / software package / agreement protocol / security protocols / e-payment / cryptographic infrastructure / verification tool / /

Person

Paolo Modesti Universit / Michele Bugliesi / /

Position

designer / mp / forward / /

Product

AnBx / /

Technology

encryption / e-voting protocols / existing protocols / cryptography / Diffie-Hellman key agreement protocol / Public Key Infrastructure / corresponding OFMC-AnB protocol / public key / Internet Keyed Payment Protocol / iKP e-payment protocols / agreement protocol / PKI / corresponding public-key cryptographic protocols / AnB protocol / security protocols / private key / operating system / digital signature / real cryptographic protocol / SSL / mode Protocol / iKP protocols / network protocols / /

SocialTag