• 萨夫卡西

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

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

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

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

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

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