On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions.

Jaouhar Fattahi Mohamed Mejri Emil Pricop

Published in: CCECE (2019)

Keyphrases

cryptographic protocols
security properties
security protocols
authentication protocol
encryption decryption
standard model
digital libraries
security issues
formal verification