多萝西·e·丹宁、彼得·j·丹宁著
ACM通讯，1977年7月，第20卷，第7号，504-513页
10.1145/359636.359712
评论
用于验证通过程序的信息安全流动的认证机制。因为它利用了安全类之间的晶格结构的属性，所以这个过程非常简单，可以很容易地将其包含在大多数现有编译器的分析阶段中。提出并证明了正确的语义。一个重要的应用是限制问题:该机制可以证明一个程序不能导致假定的非机密结果依赖于机密输入数据。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择以下选项之一，以访问优质内容和功能。
创建Web帐户
如果您已经是ACM会员，通信数码图书馆的订阅者，请建立一个网页帐户，以访问本网站的优质内容。
参加ACM
成为ACM的会员可以充分利用ACM杰出的计算信息资源、联网机会和其他好处。
订阅ACM通讯杂志
获得《中华文化纵横》50年以上的完整内容，每月获得印刷版。
购买这篇文章
非会员可以购买这篇文章或它所在的杂志。
