正确性保证的私有过程建模方法

莫启, 笪建, 代飞, 朱锐, 林雷蕾, 李彤

A Private Process Modeling Approach Guaranteeing Correctness

MO Qi, DA Jian, DAI Fei, ZHU Rui, LIN Lei-lei, LI Tong

电子学报 . 2018, (10): 2551 -2560 . DOI: 10.3969/j.issn.0372-2112.2018.10.033