ACM的通信
研究档案
该研究档案提供了对过去问题发表的所有研究文章的访问。
2011年9月
从ACM的通信
vetting浏览器浏览器与vex安全漏洞的扩展
浏览器已成为日常计算的事实上平台和计算机系统攻击者的流行目标。在诸多潜在攻击中，目标浏览器，浏览器扩展中的漏洞已收到...
从ACM的通信
抽象抽象机：高阶计划分析的系统方法
预测模型是工程可靠的软件系统的基础。然而，为课程行为设计保守，可计算近似仍然是现代高级的困难且易于出错的过程......
从ACM的通信
技术透视：使浏览器扩展安全
浏览器和他们的扩展中的漏洞已成为网络犯罪分子损害网络用户安全性的主要场地，最终赚钱......
从ACM的通信
技术视角：抽象抽象机
基于语义的计划分析需要一个到（1）从“友好”的语义开始;（2）设计“Congenial”的运行时属性格;（3）将“相关”联系......