共 101 条
[1]
Arzt S(2014)Flowdroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps ACM SIGPLAN Not. 49 259-269
[2]
Rasthofer S(2005)Reduced models for efficient CCS verification Form. Methods Syst. Des. 26 319-350
[3]
Fritz C(2020)An ensemble learning approach for brain cancer detection exploiting radiomic features Comput. Methods Programs Biomed. 185 105134-1252
[4]
Bodden E(2018)Leila: formal tool for identifying mobile malicious behaviour IEEE Trans. Softw. Eng. 45 1230-305
[5]
Bartel A(2014)De novo reconstruction of gene regulatory networks from time series data, an approach based on formal methods Methods 69 298-20
[6]
Klein J(2017)Talos: no more ransomware victims with formal methods Int. J. Inf. Secur. 17 1-1286
[7]
Le Traon Y(2019)Model checking for data anomaly detection Procedia Comput. Sci. 159 1277-96
[8]
Octeau D(2014)Taintdroid: an information-flow tracking system for realtime privacy monitoring on smartphones ACM Trans. Comput. Syst. (TOCS) 32 5-1052
[9]
McDaniel P(2018)Human behavior characterization for driving style recognition in vehicle system Comput. Elec. Eng. 15 77-134
[10]
Barbuti R(2019)Music classification as a new approach for malware detection J. Comput. Virol. Hacking Tech. 159 1045-14