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
Related publications
Formal Verification of a Group Membership Protocol Using Model Checking
Model Checking Software Systems: A Case Study.
Protocol Independent Lightweight Secure Communication
A Protocol for Secure Communication in Large Distributed Systems
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study
Journal of Software Engineering and Applications
Secure Spread: An Integrated Architecture for Secure Group Communication
IEEE Transactions on Dependable and Secure Computing
Electronic Engineering
Electrical
Computer Science
Optimizing Batch Rekeying Interval for Secure Group Communication Based on Queuing Model
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
A Case for Heterogeneous Procedures on Model Checking
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
A Case Study on Cpe (Communication Protocol Error) Alarm in Nokia DXC
International Journal of Latest Trends in Engineering and Technology
