← DARPA APAC
第 7–9 節

発表論文と参考文献

Android 端末のマルウェア検出のための理解駆動型プログラム分析（CPA）

目次

7. 発表論文

  1. Security Toolbox for Detecting Novel and Sophisticated Android Malware. Benjamin Holland, Tom Deering, Suresh Kothari, Jon Mathews, Nikhil Ranade. International Conference on Software Engineering, 2015.
  2. A “Human-in-the-loop” Approach for Resolving Complex Software Anomalies. Suresh Kothari, Akshay Deepak, Ahmed Tamrawi, Benjamin Holland, Sandeep Krishnan. IEEE International Conference on Systems, Man, and Cybernetics, 2014.
  3. Atlas: A New Way to Explore Software, Build Analysis Tools. Tom Deering, Suresh Kothari, Jeremías Sauceda, Jon Mathews. International Conference on Software Engineering, 2014.
  4. Multi-faceted Practical Modeling Education for Software Engineering. Suresh Kothari, Jeremías Sauceda. ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, 2013.

8. 参考文献

  1. DARPA APAC Program. http://www.darpa.mil/Our_Work/I2O/Programs/ Automated_Program_Analysis_for_Cybersecurity_(APAC).aspx, 2015.
  2. BAA 11-63. Automated Program Analysis for Cybersecurity. DARPA Information Technology Office, 2011.
  3. BAA 99-08. Software-Enabled Control. DARPA Information Technology Office, 1999.
  4. "Common Attack Pattern Enumeration and Classification." CAPEC. MITRE, Web. 20 Feb. 2015. <https://capec.mitre.org>.
  5. "Atlas." ENSOFT. ENSOFT Corp., Web. 20 Feb. 2015. <http://www.ensoftcorp.com/atlas>.
  6. "Main Page." AtlasWiki. ENSOFT Corp., Web. 20 Feb. 2015. <http://ensoftatlas.com>.
  7. "ENSOFT Corp." GitHub. Web. 20 Feb. 2015. <https://github.com/EnSoftCorp>.

9. 略語一覧

AFRLAir Force Research Laboratory
APACAutomated Program Analysis for Cybersecurity
APIApplication Programming Interface
AST抽象構文木
BAABroad Area Announcement
CIA機密性、完全性、可用性
COTS市販品
CPA理解駆動型プログラム分析
DARPADefense Advanced Research Projects Agency
DoD国防総省
GUIグラフィカルユーザーインターフェース
ISUIowa State University
LoCコード行数
QMRQuery-Model-Refine
SECSoftware Enabled Control
SMSShort Message Service
XCILeXtensible Common Intermediate Language
XCSGeXtensible Common Software Graph
XML拡張可能マークアップ言語

本報告書の 2026 年の再公開にあたり、ENSOFT の現在のブランドに合わせるための軽微な変更と、内容に影響しないその他の軽微な更新を行った。