多伊纳·班丘;伊奥努·皮特;伊奥努·桑杜 的安全挑战。RO领域是信息社会的核心。 (英语) Zbl 1399.94083号 牛市。Transilv公司。Brașov大学,Ser。三、 数学。通知。物理学。 10(59),第1期,193-202(2017).MSC公司:94A99型 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{D.Banciu}等人,公牛。Transilv公司。Brașov大学,Ser。三、 数学。通知。物理学。10(59),第1号,193--202(2017;Zbl 1399.94083)
米歇尔·布格列西;斯特凡诺·卡尔扎瓦拉;里卡多·福卡尔迪 web安全的形式化方法。 (英语) Zbl 1359.68021号 J.日志。代数。方法计划。 87, 110-126 (2017).MSC公司:68英里11 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人,J.Log。代数。方法计划。87、110-126(2017;Zbl 1359.68021) 全文: 内政部
蒂格兰·阿瓦内索夫;亚尼克·骑士;迈克尔·鲁西诺维奇;马修·图鲁阿尼 带否定的入侵推理约束。安全服务组合的可决定性和应用。 (英语) Zbl 1356.68012号 J.塞姆。计算。 80,第1部分,4-26(2017).MSC公司:68英里11 68第25页 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{T.Avanesov}等人,J.Symb。计算。80,第1部分,4--26(2017;Zbl 1356.68012) 全文: 内政部 arXiv公司 链接