Formal unlinkability analysis of message authentication protocols based on authentic channels.

Autor: Alagheband, Mahdi R.1 (AUTHOR) m.alaghband@ryerson.ca, Mashatan, Atefeh1 (AUTHOR)
Zdroj: Journal of Supercomputing. May2023, Vol. 79 Issue 7, p8097-8123. 27p.
Databáze: Academic Search Ultimate
Nepřihlášeným uživatelům se plný text nezobrazuje