发布文献求助
已完结
  • 文献求助详情
标题
Securify
相关领域
正确性 计算机科学 计算机安全 可扩展性 财产（哲学） 依赖关系图 领域（数学分析） 依赖关系（UML） 审计 可扩展性 编码（集合论） 智能合约 计算机安全模型 图形 数据库 程序设计语言 软件工程 理论计算机科学 块链 业务 会计 数学分析 哲学 集合（抽象数据类型） 认识论 数学
网址
https://doi.org/10.1145/3243734.3243780
DOI
10.1145/3243734.3243780 doi
其它 期刊：Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security
作者：Petar Tsankov; Andrei Dan; Dana Drachsler-Cohen; Arthur Gervais; Florian Bünzli; Martin Vechev
出版日期：2018
求助人
研友_Lw4kGn 在 2021-01-27 02:34:55 发布，悬赏 10 积分
下载 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
提交工单
该求助已完结，感谢关注
如需该文献，请重新发布求助，前往发布
科研通的所有服务均免费，并承诺对个人用户永久免费！
请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习
更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
alv发布了新的文献求助10
1秒前
1秒前
2秒前
2秒前
tuanheqi的应助被科研通管家采纳，获得150
3秒前
斯文败类的应助被科研通管家采纳，获得10
3秒前
所所的应助被科研通管家采纳，获得10
3秒前
充电宝的应助被科研通管家采纳，获得10
4秒前
LaTeXer的应助被科研通管家采纳，获得150
4秒前
子车茗的应助被科研通管家采纳，获得20
4秒前
LaTeXer的应助被科研通管家采纳，获得150
4秒前
子车茗的应助被科研通管家采纳，获得20
4秒前
田様的应助被科研通管家采纳，获得30
4秒前
子车茗的应助被科研通管家采纳，获得20
4秒前
子车茗的应助被科研通管家采纳，获得20
4秒前
Tourist的应助被科研通管家采纳，获得150
4秒前
LaTeXer的应助被科研通管家采纳，获得150
5秒前
烟花的应助被科研通管家采纳，获得30
5秒前
5秒前
5秒前
5秒前
小蘑菇的应助被科研通管家采纳，获得30
5秒前
5秒前
5秒前
兜兜发布了新的文献求助10
5秒前
qiuqiu发布了新的文献求助10
5秒前
yx发布了新的文献求助10
6秒前
香蕉觅云的应助被钟迪采纳，获得10
7秒前
7秒前
sunny发布了新的文献求助10
8秒前
Peth完成签到，获得积分10
8秒前
recede发布了新的文献求助10
9秒前
10秒前
科研通AI5的应助被兜兜采纳，获得10
10秒前
10秒前
邺水珠桦发布了新的文献求助10
10秒前
12秒前
conghuiqu完成签到，获得积分10
12秒前
默默平文发布了新的文献求助30
12秒前
阿雷发布了新的文献求助10
13秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Handbook of Milkfat Fractionation Technology and Application, by Kerry E. Kaylegian and Robert C. Lindsay, AOCS Press, 1995 1000
A novel angiographic index for predicting the efficacy of drug-coated balloons in small vessels 500
Textbook of Neonatal Resuscitation ® 500
The Affinity Designer Manual - Version 2: A Step-by-Step Beginner's Guide 500
Affinity Designer Essentials: A Complete Guide to Vector Art: Your Ultimate Handbook for High-Quality Vector Graphics 500
Optimisation de cristallisation en solution de deux composés organiques en vue de leur purification 500
热门求助领域 （近24小时）
化学 医学 生物 材料科学 工程类 有机化学 内科学 生物化学 物理 计算机科学 纳米技术 遗传学 基因 复合材料 化学工程 物理化学 病理 催化作用 免疫学 量子力学
热门帖子
关注 科研通微信公众号，转发送积分 5082371
求助须知：如何正确求助？哪些是违规求助？ 4299730
关于积分的说明 13396998
捐赠科研通 4123608
什么是DOI，文献DOI怎么找？ 2258463
邀请新用户注册赠送积分活动 1262720
关于科研通互助平台的介绍 1196681
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通