D工具 dsdtool：完整DSD验证框架的OCaml实现。 zbMATH中的参考文献（参考 1文章 参考） 显示结果1/1。 是的按年份排序(引用) 10 20 50 全部的 Grabowski，Robert:动态安全环境中移动代码的信息流分析（2012）
