Automatic Verification of Deniable Authentication Protocol in a Probabilistic Polynomial Calculus with Cryptoverif

2011 ◽  
Vol 10 (4) ◽  
pp. 717-735 ◽  
Author(s):  
Bo Meng
Keyword(s):  
Authentication Protocol ◽  
Automatic Verification ◽  
Deniable Authentication ◽  
Polynomial Calculus

A quantum deniable authentication protocol based on two-mode squeezed quantum states

Optik ◽  
2020 ◽  
Vol 220 ◽  
pp. 165146
Author(s):  
Wei-Min Shi ◽  
Bin-Bin Chen ◽  
Yan-Mei Wang ◽  
Yi-Hua Zhou ◽  
Yu-Guang Yang
Keyword(s):  
Authentication Protocol ◽  
Quantum States ◽  
Deniable Authentication

An efficient quantum deniable authentication protocol without a trusted center

Optik ◽  
2016 ◽  
Vol 127 (16) ◽  
pp. 6484-6489 ◽  
Author(s):  
Wei-Min Shi ◽  
Yi-Hua Zhou ◽  
Yu-Guang Yang ◽  
Xin-Lan Zhang ◽  
Jan-Biao Zhang
Keyword(s):  
Authentication Protocol ◽  
Deniable Authentication
Sign in / Sign up

Export Citation Format

Share Document