Pushdown model checking for malware detection.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 2, p. 147, doi. 10.1007/s10009-013-0290-1
- By:
- Publication type:
- Article
Works matching DE "COMPUTER security testing"
Results: 5
1
2
A METRIC FOR MEASUREMENT AND SECURITY IN AD-HOC ROUTING PATHS.
- Published in:
- International Journal of Advanced Research in Computer Science, 2017, v. 8, n. 7, p. 820, doi. 10.26483/ijarcs.v8i7.4491
- By:
- Publication type:
- Article
3
Enlargement of vulnerable web applications for testing.
- Published in:
- Journal of Supercomputing, 2018, v. 74, n. 12, p. 6598, doi. 10.1007/s11227-017-1981-2
- By:
- Publication type:
- Article
4
Mitigating RDT&E Risk: TRMC Addresses Cyber Security Challenges through Common Architecture, Software, and Processes.
- Published in:
- ITEA Journal of Test & Evaluation, 2015, v. 36, n. 3, p. 211
- By:
- Publication type:
- Article
5
Test and Evaluation of Complex Cyber Security Systems: A Case Study in Using Modeling and Simulation to Understand, Test, and Evaluate the Security of Quantum Key Distribution Systems.
- Published in:
- ITEA Journal of Test & Evaluation, 2015, v. 36, n. 3, p. 199
- By:
- Publication type:
- Article