Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Xizheng Shi
Model-Checking a Secure Group Communication Protocol: A Case Study
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications