Xizheng Shi
Timeline
1999
0
1
2
1
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