Minh-Thai Trinh;朱德海普;Joxan雅法 递归定义字符串的渐进推理。 （英语） Zbl 1411.68031号 Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。2016年7月17日至23日在加拿大安大略省多伦多举行的2016年CAV第28届国际会议。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。9779, 218-240 (2016).MSC公司：68号30 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{M.-T.Trinh}等人，Lect。注释计算。科学。9779、218--240（2016；Zbl 1411.68031） 全文： 内政部
费尔南多·林斯;朱利奥·达马西奥;罗布森·梅德罗斯;埃里卡·索萨;尼尔森·罗莎 云中基于服务的安全感知业务流程的自动化。 （英语） Zbl 1349.68035号 计算 98，第9期，847-870（2016）.MSC公司：68米14 68英里11 68单位35 PDF格式BibTeX公司 XML格式引用 \textit｛F.Lins｝等人，《计算98》，第9期，第847-870页（2016年；Zbl 1349.68035） 全文： 内政部
李孟浩;杨亮（Yang，Liang）;袁子目;张瑞;薛睿 一种缓解实际SSO系统中潜在威胁的方法。 （英语） Zbl 1409.94889号 Lin，Dongdai（编辑）等人，《信息安全与密码学》。第十一届国际会议，Inscrypt 2015，中国北京，2015年11月1日至3日。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。9589, 209-226 (2016).MSC公司：94A60型 68英里11 PDF格式BibTeX公司 XML格式引用 \textit｛M.Li｝等人，Lect。注释计算。科学。9589，209--226（2016；Zbl 1409.94889） 全文： 内政部