Computationally Sound and Effective Symbolic Analysis of Group Key Exchange Protocols
Year: 2012
Type: article
Source: Chinese Journal of Computers
Author: Zhang Zi
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2370547469