@article{袁占慧:156, author = {袁占慧, 杨智, 张红旗, 金舒原, 杜学绘}, title = {基于通信顺序进程的Android程序复杂信息流分析方法}, publisher = {网络与信息安全学报}, year = {2021}, journal = {网络与信息安全学报}, volume = {7}, number = {5}, eid = {156}, numpages = {12}, pages = {156}, keywords = {;安卓;信息流分析;隐私防护;形式化分析;通信顺序进程}, url = {https://www.infocomm-journal.com/cjnis/CN/abstract/article_171748.shtml}, doi = {10.11959/j.issn.2096-109x.2021086} }