Enhanced Strand Space for secure protocol analysis
Year: 2009
Type: conference-paper
Authors: Yang Jie, Xianheng Ma, Li Yi
Institution: South China University of Technology
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funder: National Science Foundation
OpenAlex ID: W1982945218