何希明;周若瑜;蒂莫西·琼斯。 时间超属性。 (英语) Zbl 1518.68207号 Inf.计算。 280,文章ID 104639,18 p.(2021).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人,信息计算。280,文章ID 104639,18 p.(2021;Zbl 1518.68207) 全文: 内政部 链接
马克西米利亚诺·克里斯蒂亚;吉安弗兰科·罗西 Bell-LaPadula安全属性的自动证明。 (英语) Zbl 07356979号 J.自动化。推理 65,第4期,463-478(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi},J.Autom。推理65,No.4,463--478(2021;Zbl 07356979) 全文: 内政部 arXiv公司
吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳;大卫·皮哈迪 恒定时间加密的系统级不干涉。II: 验证了静态分析和隐形内存。 (英语) Zbl 1459.68027号 J.自动化。推理 64,第8期,1685-1729(2020).MSC公司:68平方米25 68伏15 94A60 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,J.Autom。推理64,No.8,1685--1729(2020;Zbl 1459.68027) 全文: 内政部