Special issue on verified information flow security
Special issue on verified information flow security
复制标题
信息流安全验证特刊
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Lujo Bauer
中科院分区：
文献类型：
--
作者：
Toby C. Murray;A. Sabelfeld;Lujo Bauer
Toby Murray a，B，Pennsylvania，Andrei Sabelfeld c and Lujo Bauer d a澳大利亚墨尔本大学计算与信息系统学院电子邮件：toby. unimelb.edu.au B Data 61，澳大利亚CSIRO c瑞典查尔默斯科技大学计算机科学与工程系电子邮件：andrei@chalmers.se d美国宾夕法尼亚州卡内基梅隆大学电气与计算机工程系和软件研究所电子邮件：lbauer@cmu.edu
Toby Murray a,b,∗, Andrei Sabelfeld c and Lujo Bauer d a School of Computing and Information Systems, University of Melbourne, Australia E-mail: toby.murray@unimelb.edu.au b Data61, CSIRO, Australia c Department of Computer Science and Engineering, Chalmers University of Technology, Sweden E-mail: andrei@chalmers.se d Department of Electrical and Computer Engineering and Institute for Software Research, Carnegie Mellon University, PA, USA E-mail: lbauer@cmu.edu
CoSMed：经过保密验证的社交媒体平台
DOI：
10.1007/s10817-017-9443-3
发表时间：
2017
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
Bauereiß T
通讯作者：
Bauereiß T