A Formal Security Analysis of the pEp Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email.
Itzel Vázquez SandovalGabriele LenziniPublished in: CoRR (2020)
Keyphrases
- authentication protocol
- end to end
- security analysis
- key distribution
- encryption algorithm
- encryption scheme
- smart card
- public key
- group communication
- security requirements
- ad hoc networks
- secret key
- peer to peer
- distributed systems
- key exchange
- wireless ad hoc networks
- authentication scheme
- standard model
- multipath
- private key
- mutual authentication
- security properties
- data sharing
- diffie hellman
- security protocols
- computer systems
- low cost