摘要：非干涉安全性的顺序模型及其应用
作者：Annabelle McIver and Larissa Meinicke and Carroll Morgan
论文ID：1007.1054
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-07-08
PDF 下载： 英文版 中文版pdf翻译中