期刊文献+

一种基于静态分析的开源软件隐私检测模型研究

原文传递
导出
摘要 开源代码的隐私相关性、隐私处理是否安全是企业调用开源代码前需要探索和研究的。而针对Android软件的隐私检测方法缺少通用性,所以为了充分覆盖到各个层次、各个角度的隐私信息,更全面地监控隐私安全,本文提出了以静态检测为基础,从通用型软件源代码角度讨论隐私检测及隐私保护的问题,研究基于静态分析的隐私检测模型来检测开源代码中存在的隐私以及隐私处理行为,以期帮助企业完善软件相关机制,同时帮助个人用户维护隐私安全。
作者 张淼 张洪盈
机构地区 北京邮电大学
出处 《保密科学技术》 2022年第11期11-22,共12页 Secrecy Science and Technology
基金 国家自然科学基金重点项目(No.61831003)资助。
  • 相关文献

参考文献4

二级参考文献36

  • 1袁文秀,余恒鑫.关于网络信息生态的若干思考[J].情报科学,2005,23(1):144-147. 被引量:47
  • 2John Viega, Bloeh J T. ITS4 :a static vulnerability scanner for C and C++ code[C]: Annual Computer Security Applications Conference, December 2000.
  • 3Wagner D, Foster J, Brewer E, et al. A first step towards automated detection of buffer overrun vulnerabilities[C]. Network and Distributed Systems Security Conference, San Diego, CA, February 2000.
  • 4Chen H, Wagner D. MOPS: an infrastructure for examining security properties of software[C]. Proc. 9th ACM Conf. Computer and Communications Security (CCS2002), ACM Press, 2002,235-244.
  • 5Newsome J, Song D. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software[C]. 12th Annual Network and Distributed System Security Symposium, Feb. 2005.
  • 6Cheng W, Zhao Q, Yu B, et al. Taint trace: efficient flow tracing with dynamic binary rewriting[C]. Proocedings of the 11th IEEE Symposium on Computers and Communications, June, 2006.
  • 7Cqual [EB/OL]. http://www, cs. umd. edu/- jfoster/cqual/. August 2007.
  • 8Zhang X, Edwards A, Jaeger T. Using CQUAL for static analysis of authorization hook placement [C]. Proceedings of the Eleventh Usenix Security Symposium, August 2002.
  • 9Oink [EB/OL ]. http://www. eubewano. org/oink. August 2007.
  • 10Jeffrey S Foster. Type qualifiers: lightweight specifications to improve software quality[D]. University of California, Berkeley, December 2002.

共引文献39

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部