搜索结果

1

Detection method of Android virtualization program based on heterogeneous information network

张威楠

孟昭逸

熊焰

黄文超

包象琳

异质信息网络

安卓虚拟化程序

安卓安全

软件工程

2023年第6期 : 1764-1770 doi:10.19734/j.issn.1001-3695.2022.09.0545

2

Research on computer-aided formal modeling for security protocol code

葛艺

黄文超

熊焰

形式化验证

形式化建模

协议代码

污点分析

Tamarin

2023年第4期 : 1189-1193,1202 doi:10.19734/j.issn.1001-3695.2022.08.0446

3

Changelog topic learning model with attention mechanism and siamese neural network

张鑫

黄文超

熊焰

更新日志

孪生神经网络

注意力机制

双向LSTM

2023年第2期 : 349-353,393 doi:10.19734/j.issn.1001-3695.2022.07.0350