CoSMed: A Confidentiality-Verified Social Media Platform
CoSMed: A Confidentiality-Verified Social Media Platform
复制标题
CoSMed：经过保密验证的社交媒体平台
DOI：
10.1007/s10817-017-9443-3
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Bauereiß T
中科院分区：
文献类型：
--
作者：
Bauereiß T
登录
查看更多内容
信息流和互不干扰
DOI：
--
发表时间：
2011
期刊：
Encyclopedia of Cryptography and Security
影响因子：
--
作者：
H. Mantel
通讯作者：
H. Mantel
支持云计算的隐私：ConfiChair，案例研究
DOI：
10.1007/978-3-642-28641-4_6
发表时间：
2012
期刊：
8th International Conference for Internet Technology and Secured Transactions (ICITST-2013)
影响因子：
--
作者：
Myrto Arapinis;Sergiu Bursuc;M. Ryan
通讯作者：
M. Ryan
DOI：
10.1007/978-3-319-08867-9_11
发表时间：
2014
期刊：
18th IEEE Computer Security Foundations Workshop (CSFW'05)
影响因子：
--
作者：
Sudeep Kanav;P. Lammich;A. Popescu
通讯作者：
A. Popescu
经过验证的信息流架构
DOI：
10.1145/2535838.2535839
发表时间：
2014
期刊：
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Arthur Azevedo de Amorim;Nathan Collins;A. DeHon;Delphine Demange;Cătălin Hriţcu;David Pichardie;B. Pierce;R. Pollack;A. Tolmach
通讯作者：
A. Tolmach
三年 Sledgehammer 经验，自动和交互式定理证明者之间的实用联系
DOI：
--
发表时间：
2012
期刊：
IWIL@LPAR
影响因子：
--
作者：
Lawrence Charles Paulson;J. Blanchette
通讯作者：
J. Blanchette