2016年第46届DSN:法国图卢兹
第46届IEEE/IFIP可靠系统和网络国际年会,DSN 2016,法国图卢兹,2016年6月28日-7月1日。 IEEE计算机学会 2016 ,国际标准图书编号 978-1-4673-8891-7
可靠性会话
最佳论文候选人
乌塔姆-塔科尔 , 加布里埃尔·A·韦弗 , 威廉·桑德斯 :
安全监视器部署的定量方法。 1-12 龙黄乐 , 卡洛斯·爱德华多·贝内维迪斯·贝泽拉 , 费尔南多·佩多内 :
动态可扩展状态机复制。 13-24 库斯图巴·巴特 , 德克·沃格特 , 埃里克·范德库韦 , 本格拉斯 , 莱昂内尔·桑布 , 安德鲁·斯图尔特·塔能鲍姆 , 赫伯特·博斯 , 克里斯蒂亚诺·朱弗里达 :
OSIRIS:分区操作系统的高效一致恢复。 25-36
存储系统
Hoda Aghaei Khouzani公司 , 杨成墨 :
固态驱动器中的可扩展和无写多版本检查点方案。 37-48 李永坤 , 海伦·H·W·陈 , 帕特里克·P·C·李 , 许银龙 :
SSD RAID阵列的弹性奇偶校验日志记录。 49-60 王能(Neng Wang) , 许银龙 , 李永坤 , 斯武 :
OI-RAID:面向快速恢复和高可靠性的两层RAID体系结构。 61-72
云和网络
慧露 , 阿比纳夫·斯利瓦斯塔瓦 , 布伦丹·萨尔塔福马乔 , 徐东燕 :
StorM:支持租户定义的云存储中间盒服务。 73-84 闵福 , 朱黎明 , 英戈·韦伯 , 林·巴斯 , 安娜·刘 , 徐西伟(Xiwei Xu) :
针对云上零星操作的面向进程的非侵入式恢复。 85-96 诺维拉·巴托里尼 , 斯特凡诺·恰瓦雷拉 , 托马斯·拉波塔 , 西蒙·西尔维斯特里 :
大规模故障后的网络恢复。 97-108
软件定义的网络
Kshiteej Mahajan公司 , 里沙布·波达尔 , 莫汉·达万 , 维杰·曼 :
陪审团:验证软件定义网络中的控制器操作。 109-120 西套文 , 杨波(Bo Yang) , 闫晨 , 胡成晨 , Yi Wang(王怡) , 刘斌(Bin Liu) , 陈晓林 :
SDNShield:协调SDN应用程序市场的可配置应用程序权限。 121-132 Szymon Dudycz先生 , 阿恩·路德维希 , 斯特凡·施密德 :
不能碰这个:多个策略的一致网络更新。 133-143
软件可靠性
埃里克·范德库韦 , 安德鲁·斯图尔特·塔能鲍姆 :
HSFI:可扩展到大型代码库的准确故障注入。 144-155 塞巴斯蒂亚诺·佩卢索 , 亚历山德鲁·图尔库 , 罗伯托·帕尔米耶里 , 朱利亚诺·洛萨 , 比诺伊·拉文德兰 :
快速达成共识通常更快。 156-167 薄芳 , 秦岭路 , 卡提克·帕塔比拉曼 , 马泰·里佩努 , 苏丹瓦·古鲁穆蒂 :
ePVF:一种用于跨层弹性分析的增强程序脆弱性因素方法。 168-179
内存和缓存
乔治·马普拉斯 , 阿里雷扎·瓦希德 , A.罗伯特·卡尔德班克 , 丹尼尔·索林 :
Methuselah Flash:重写代码以延长存储寿命。 180-191 赵燕 , 罗斯·约瑟夫 :
在延迟敏感型一级缓存中启用深度电压缩放。 192-202 王汝嘉 , 张友涛 , 杨军(Jun Yang) :
ReadDuo:通过快速稳健的读出构建可靠的MLC相变存储器。 203-214
硬件错误恢复能力
赛义德·穆罕默德·赛义德·扎德 , 拉坎·马达赫 , 亚历克斯·K·琼斯 , 拉米·梅勒姆 :
利用ECC缓解STT-RAM中的读取干扰、错误读取和写入故障。 215-226 宋继国 , 格达尔·布卢姆 , 加布里埃尔·帕默 :
SuperGlue:嵌入式系统基于IDL的系统级容错。 227-238 萨米拉·马纳比·汗 , 李东赫 , Onur Mutlu公司 :
PARBOR:检测DRAM中数据相关故障的有效系统级技术。 239-250
可靠性应用
亚历山大·舍尔 , 克劳斯·布劳恩 , 迈克尔·科希特 , 汉斯·约阿希姆·旺德利希 :
稀疏矩阵操作的高效基于算法的容错。 251-262 穆罕默德·阿希克·拉赫曼 , A.H.M.Jakaria先生 , 埃哈布·阿尔沙尔 :
智能电网可靠监控与数据采集的形式化分析。 263-274 莱昂纳多·蒙特奇 , Atle Refsdal公司 , 保罗·洛里尼 , 安德烈亚·邦达瓦利 :
支持石油领域安全相关决策的基于模型的方法。 275-286
模型
卢卡·博托鲁西 , 尼古拉斯·加斯特 :
不确定随机模型的平均场近似。 287-298 塞巴斯蒂安·荣格斯 , 丹尼斯·古克 , Joost-Pieter Katoen公司 , 玛丽埃尔·斯托琳加 :
发现动态故障树。 299-310
数据中心可靠性
坤堂 , 德维什·蒂瓦里 , 索拉巴·古普塔 , 黄萍(Ping Huang) , 陆琪琪 , 克里斯蒂安·恩格曼 , 何旭斌 :
功率覆盖感知检查点:关于功率覆盖、温度、可靠性、性能和能量之间的相互作用。 311-322 沈志荣 , 《纪武书》 , 帕特里克·P·C·李 :
重新考虑群集文件系统中的单故障恢复。 323-334 季雪 , 罗伯特·伯克 , Lydia Y.Chen女士 , 叶夫根妮亚·斯米尔尼 :
管理数据中心票证:预测和活动大小。 335-346
安全会话
隐私
托马斯·格贝特 , 阿姆里特·库马尔 , 塞德里克·劳拉多克斯 :
谷歌和Yandex安全浏览的隐私分析。 347-358 何建平 , 刘斌(Bin Liu) , 德光港 , 轩宝 , 王娜 , 金红霞 , 乔治·凯西迪斯 :
小狗:转换支持个性化隐私保护部分图像共享。 359-370 德文·波利 , 帕特里克·D·麦克丹尼尔 :
多信道秘密共享协议中的隐私和权衡建模。 371-382
网络物理系统安全
Subhash Lakshminarayana公司 , 战腾腾 , 芮坛 , 游家杰 , 巴勃罗·阿博列亚 :
针对铁路牵引供电系统的虚假数据注入攻击。 383-394 霍马·阿勒姆扎德 , 丹尼尔·陈 , 小李 , 廷库鲁西·凯萨瓦达斯 , Zbigniew T.Kalbarczyk公司 , 拉维山卡·K·伊耶 :
对远程手术机器人的定向攻击:基于动态模型的检测和缓解。 395-406 瓦伦·巴德里纳斯·克里希纳 , 李基容 , 加布里埃尔·A·韦弗 , 拉维山卡·K·伊耶 , 威廉·桑德斯 :
F-DETA:智能电网中检测窃电攻击的框架。 407-418
操作系统安全和隐私
布鲁诺·瓦瓦拉 , 努诺·费雷拉·内维斯 , 彼得·斯汀基斯特 :
通用受信任组件上主动执行代码的安全标识。 419-430 孔孔宁 , 赫伯特·博斯 , 克里斯蒂亚诺·朱弗里达 :
使用硬件辅助流程虚拟化实现安全高效的多变量执行。 431-442 卡安·奥纳利奥卢 , 威廉·罗伯逊 , Kirda发动机 :
检修:输入驱动访问控制,在传统操作系统上实现更好的隐私保护。 443-454
异常检测和利用
本·斯托克 , 本杰明·利夫希茨 , 本杰明·佐恩 :
Kizzle:用于检测漏洞利用工具包的签名编译器。 455-466 奎旭 , 柯田 , 姚丹凤 , 芭芭拉·莱德 :
更敏锐的自我意识:程序行为的概率推理,用于上下文敏感的异常检测。 467-478 新虎 , 张继勇(Jiyong Jang) , Marc Ph.Stoecklin博士 , 王婷(Ting Wang) , 道格拉斯·李·沙尔斯 , 迪隆·基拉特 , Josyula R.Rao公司 :
BAYWATCH:在大型企业网络中识别受感染主机的稳健信标检测。 479-490
网络安全
大崎千叶 , 八木毅 , 秋山三崎 , 下原俊木(Toshiki Shibahara) , 武士雅达 , 森喜达也(Tatsuya Mori) , 志贵后藤 :
DomainProfiler:发现未来滥用的域名。 491-502 德鲁·斯普林格尔 , 扎基尔·杜鲁梅里克 , J.亚历克斯·哈尔德曼 :
FTP:被遗忘的云。 503-513
安卓安全
哈米德·巴赫里 , 阿里雷萨·萨德吉 , Reyhaneh Jabbarvand Behrouz公司 , 萨姆·马利克 :
Android安全策略的实用、正式合成和自动实施。 514-525 加布里埃尔·萨尔斯·卢斯托 , 路易斯-加西亚 , 考斯图布·R.乔希(Kaustubh R.Joshi) , 萨曼·佐努兹 :
不要只说再见,还要带上你自己的应用程序! 通过虚拟微安全外围进行保护。 526-537 乐余 , 下浦罗 , 刘旭乐 , 张涛(Tao Zhang) :
我们可以信任Android应用程序的隐私政策吗? 538-549
恶意软件
罗兰南 , 余福 , 吴定浩 , 朱森村 , 刘鹏(音) :
重新打包防Android应用程序。 550-561 法比奥·帕加尼 , 马泰奥·德·阿斯蒂斯 , 马里亚诺·格拉齐亚诺 , 安德烈亚·兰齐 , 大卫·巴尔扎罗蒂 :
衡量灰名单和不名单在打击垃圾邮件中的作用。 562-571 萨勒曼·尤萨夫 , 奥马尔·伊克巴尔 , 谢罗兹·法鲁奇 , 拉扎·阿赫迈德 , 穆罕默德·祖拜尔·沙菲克 , 法里德·扎法尔 :
恶意软件贫民窟:流量交换上恶意软件的测量和分析。 572-582
密码
团乐 , 加布里埃尔·萨尔斯·卢斯托 , 拉勒·纳贾菲扎德 , Mehdi Javanmard公司 , 萨曼·佐努兹 :
通过可信传感和细胞编码密码实现安全的护理点医疗诊断。 583-594 丁旺 , Debiao He公司 , 程海波 , 王平(Ping Wang) :
fuzzyPSM:一种使用模糊概率上下文无关文法的新密码强度测量器。 595-606
加密和安全与性能
迈克尔·温特鲁斯 , 凯文·卡特 , 尼尔·瓦格纳 , 威廉·斯特雷林 :
在动态威胁环境中平衡安全性和性能以实现灵活性。 607-617 李景伟 , 川秦 , 帕特里克·P·C·李 , 金丽 :
加密重复数据消除存储的密钥更新。 618-629
PER会话
实践经验报告I
伊比利亚-梅德罗斯 , 努诺·费雷拉·内维斯 , 米盖尔·科雷亚 :
为WAP配备武器以检测漏洞:实践经验报告。 630-637 菲利佩·弗里塔斯 , 约昂·莱特昂 , 努诺·M·普雷古伊萨 , 罗德里戈·罗德里格斯 :
描述在线服务的一致性(实践经验报告)。 638-645
实践经验报告II
德米特里·库瓦伊斯基 , 奥列克西·奥列克申科 , 普拉莫德·巴托蒂亚 , 帕斯卡·费尔伯 , 克里斯托夫·费泽尔 :
ELZAR:使用Intel AVX的三模冗余(实践经验报告)。 646-653 何品嘉 , 朱杰明 , 石林河 , 李健 , 迈克尔·R·吕 :
日志解析及其在日志挖掘中的应用评价研究。 654-661 Enno Ruijters公司 , 丹尼斯·古克 , Martijn van Noort公司 , 玛丽埃尔·斯托琳加 :
基于故障树分析的电气绝缘铁路接头可靠性维护:实践经验报告。 662-669
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)