Xizheng Shi
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1999
Model-Checking a Secure Gorup Communication Protocol: A Case Study.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999