威廉·R·哈里斯。;Jha,萨默什;代表,Thomas W。;Sanjit A.Seshia。 交互式安全系统的程序合成。 (英语) Zbl 1386.68032号 形式方法系统。设计。 51,第2期,362-394(2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.R.Harris}等人,《形式方法系统》。设计。51,No.2,362--394(2017;Zbl 1386.68032) 全文: DOI程序 链接
雪莲骑士;斯特凡尼德劳恩;史蒂夫·克莱默;马克·D·瑞恩。 基于密码的协议的组成。 (英语) 兹比尔1291.68035 形式方法系统。设计。 43,第3期,369-413(2013).MSC公司:68个M12 68英里11 94A60型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Chevalier}等人,《形式方法系统》。设计。43,第3号,369--413(2013;Zbl 1291.68035) 全文: DOI程序 哈尔