Qr code
Login 中文
黄文超

Associate professor

Supervisor of Doctorate Candidates

Supervisor of Master's Candidates


E-Mail:

Click:Times

The Last Update Time: ..

Current position: Home >> Scientific Research >> Paper Publications
Advancing the Automation Capability of Verifying Security Protocols

Hits:

Journal:IEEE Transactions on Dependable and Secure Computing

Co-author:Yan Xiong,Cheng Su

First Author:Wansen Wang

Correspondence Author:Wenchao Huang,Zhaoyi Meng

Translation or Not:no

Date of Publication:2024-03-01