Construction of Network Security Architecture Based on Formal Specification in Digital Campus.
J. Softw., 2014
Design of Truth Telling Quantity Discount Contract under Information Asymmetry.
Proceedings of the 11th Wuhan International Conference on E-Business, 2012