共 28 条
[11]
Halfond W.G., 2006, P IEEE INT S SECURE, V1, P13
[12]
Detecting Concurrency Errors in Client-side Java']JavaScript Web Applications
[J].
2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST),
2014,
:61-70
[13]
Hongliang Liang, 2020, EuroSec '20: Proceedings of the 13th European workshop on Systems Security, P37, DOI 10.1145/3380786.3391401
[14]
RACCOON: Automated Verification of Guarded Race Conditions in Web Applications
[J].
PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20),
2020,
:1678-1687
[15]
A Taxonomy for Security Flaws in Event-Based Systems
[J].
APPLIED SCIENCES-BASEL,
2020, 10 (20)
:1-21
[16]
A Heuristic Framework to Detect Concurrency Vulnerabilities
[J].
34TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2018),
2018,
:529-541
[17]
CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities
[J].
34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019),
2019,
:1154-1157
[18]
Mesli-Kesraoui S, 2020, 2020 IEEE CONFERENCE ON CONTROL TECHNOLOGY AND APPLICATIONS (CCTA), P892, DOI [10.1109/CCTA41146.2020.9206344, 10.1109/ccta41146.2020.9206344]
[19]
Detecting Java']JavaScript Races That Matter
[J].
2015 10TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2015) PROCEEDINGS,
2015,
:381-392
[20]
Paleari R, 2008, LECT NOTES COMPUT SC, V5137, P126, DOI 10.1007/978-3-540-70542-0_7