Time-related Privacy Modeling and Consistency Checking
MA Wei-wei 1, JIANG Jia-xin 1, ZHANG Rui 2
Computer and Modernization . 2017, (10): 100 -104 .  DOI: 10.3969/j.issn.1006-2475.2017.10.020