• 萨夫卡西

• 引用5篇文章[sw20431]
• 萨夫卡西：A安全机制语言-基于系统。为了运行不受信任的代码。。。与实际成果的关系不明确安全，过度约束了Java系统的实现。。。

• BCiC公司

• 1条引用[sw26749]
• 验证和验证组合的代码语言-基于公钥数字签名的证明方法。。。信任关系。BCiC集成了粘合剂安全 语言用（Co）归纳结构的微积分。。。

• 旋转

• 参考文献708篇[sw03455]
• Spin是一个流行的开源软件工具。。。

• AspectJ公司

• 引用130篇文章[sw04426]
• 面向方面的Java扩展。AspectJ TM。。。

• JavaScript

• 引用71篇文章[sw06868号]
• JavaScript是一种脚本语言对于计算机。它。。。

• 贝博普

• 引用74篇文章[sw08928号]
• 一个布尔程序的符号模型检查器。。。

• 乌姆德斯

• 引用347篇文章[sw09523]
• UMDES软件库：UMDES-LIB是一个库。。。

• 拖把

• 引用23条[sw10117]
• MOPS：一种用于检查的基础设施安全属性。。。

• 典范

• 引用8篇文章[sw13306]
• 信息流控制实用程序设计的典范。。。

• TS公司#

• 引用3篇文章[sw14208]
• 逐步键入嵌入安全地在JavaScript中。。。我们呈现。。。

• 羽状爪哇

• 引用89篇文章[sw16204]
• 轻量级Java：Java的最小核心微积分。。。

• Jif公司

• 参考第16条[sw16478号]
• Jif:Java信息流。Jif是一个安全...

• 德卡尔

• 引用18条[sw20094]
• 分布式知识授权语言)是一个分布式的。。。

• JFlow公司

• 引用24篇文章【sw20595】
• JFlow：实用的主要是静态的信息流控制。A、 。。。

• ZKPDL公司

• 引用2篇文章[sw30793]
• ZKPDL:a公司语言-基于零效率系统。。。