AD安全 swMATH ID: 38009 软件作者: Joe Gibbs Politz、Spiridon Eliopoulos、Arjun Guha、Shriram Krishnamurthi 描述: ADsafety:基于类型的JavaScript沙盒验证。网站通常会将多个来源的JavaScript程序合并到一个页面中。这些来源必须相互保护,这需要强大的沙箱。沙盒的许多入口点和JavaScript的微妙之处要求对实际沙盒源代码进行健壮的验证。我们使用一种新的JavaScript类型系统来编码和验证沙箱属性。由此产生的验证器轻量级且高效,并在实际源上运行。我们通过将其应用于ADsafe来证明我们的技术的有效性,这揭示了一些错误和其他弱点。 主页: http://cs.brown.edu/research/plt/dl/adsafety/v1/ 相关软件: FlowFox公司;水仙花;AdJail监狱;SessionShield(会话屏蔽);ConScript(ConScript);马西克语;湾流;扎福德;守门人;JavaScript脚本 引用于: 1文件 1位作者引用 1 娜塔莉亚·比埃洛娃 连载1篇 1 逻辑与代数程序设计杂志 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文