2017年第22届PRDC:新西兰基督城
Dong Seong Kim先生 , 北上正人 , Vijay Varadharajan先生 :
第22届IEEE环太平洋可靠计算国际研讨会,2017年PRDC,新西兰基督城,2017年1月22日至25日。 IEEE计算机学会 2017 ,国际标准图书编号 978-1-5090-5652-1
第1A部分: 可靠网络1
刘易斯·曾 :
存在拜占庭断层时的投票。 1-10 Subrota K.Mondal公司 , Abadhan Saumya Sabyasachi公司 , 乔格什·穆帕拉(Jogesh K.Muppala) :
云数据中心的可靠性、成本和安全权衡。 11-19 宫崎美久 , Hidetsugu Irie公司 , 水池酒井 :
通过约定哈希加速安全处理器上的完整性验证。 20-29
第1B部分: 可靠性评估
Tran Phuong Thao公司 , 宫崎厚子 , 穆罕默德·沙赫里亚尔·拉赫曼 , 清本信造(Shinsaku Kiyomoto) , 久保田(Ayumu Kubota) :
健壮的ORAM:增强可用性、机密性和完整性。 30-39 拉奎尔·阿尔梅达 , 阿方索·阿劳霍·内托 , 亨利克·马德拉 :
交易系统的弹性基准:替代度量的实验研究。 40-49 保罗·马西尔 , 鲁本斯·德苏萨·马托斯·朱尼尔 , 布鲁诺·席尔瓦 , 杰尔·菲格雷多 , 达尼洛·奥利维拉 , Iure铁 , 罗尼利森·马谢尔 , 贾米尔森·丹塔斯 :
Mercury:具有指数分布、指数分布和一般分布的系统的性能和可靠性评估。 50-57
第2A部分: 测试
内塔韦·古伦迪玛 , 阿尔沙德·朱姆卡 :
使用资源使用数据检测集群系统中的恢复模式。 58-67 贝罗斯·桑切利(Behrooz Sangchoolie) , 罗杰·约翰逊 , 约翰·卡尔森 :
提高ISA级故障注入工具可控性和效率的轻量化技术。 68-77 Teru Ohashi先生 , 筑谷达弘 :
使用基于ZDD的图形算法生成组合交互测试的高强度测试套件。 78-85
第2B部分: 工业+车间1
Aleciano Lobo初级 , 鲁本斯·德苏萨·马托斯·朱尼尔 , 布鲁诺·席尔瓦 , 保罗·马西尔 :
用于支持VANET基础设施规划的经验建模。 86-91 保罗·豪尔赫·埃斯特夫·维西莫 , 马库斯·沃尔普 , 杰里米·德库尚 , 文森特·拉里 , 弗朗西斯科·罗查 :
应对关键和极端可靠性和安全性的挑战。 92-97 罗伯特·沙德克 , 奥利弗·E·塞尔 :
提高仲裁协议的成本和可用性预测的准确性。 98-103 方云雨 , 贝贝因 , 高荣宁 , 郑正 , 蔡开元 :
基于自适应控制的双粒度软件复兴策略。 104-109
第3A节: 可靠网络2
Itsuo Takanami公司 , 福石正郎(Masaru Fukushi) :
一种内置电路,用于对角备用的网状连接处理器阵列的自修复。 110-117 I-Chen Tsai先生 , 嘉木余 , 横田有夫 , Sy-Yen Kuo先生 :
通过Kronecker产品进行物联网关键管理。 118-124
第3B部分: 可靠系统
弗雷德里科·塞韦拉 , 劳尔·巴博萨 , 亨利克·马德拉 :
虚拟化服务器的软错误敏感性。 125-134 秦方云 , 郑正 , 李晓丹 , 于乔 , 基索尔·斯特里维迪 :
Android操作系统中故障触发的实证研究。 135-144
第4A部分: 安全性1
艾哈迈德·法瓦兹 , 威廉·桑德斯 :
异常检测的学习过程行为基线。 145-154 托拜厄斯·劳特 , 安德烈亚·霍勒 , 约翰内斯·伊伯 , 迈克尔·克里斯珀 , 克里斯蒂安·克里纳 :
将完整性实施技术集成到嵌入式控制设备中:经验和评估。 155-164
第4B部分: 智能电网
斯蒂芬-杰克逊 , 布鲁斯·麦克米林 :
拥塞通知在网络物理系统中的应用。 165-174 Kubilay Demir公司 , 内拉杰·苏里 :
SeReCP:智能电网安全可靠的通信平台。 175-184
第5A部分: 可靠VLSI
埃伯雷·A·兰博 , 克里斯托夫·塞茨 , 塞尔马·赛迪 , 罗尔夫·恩斯特 :
为高保证实时系统设计片上网络。 185-194 瓦西里·萨塔科夫 , 鲁迪格·卡皮察 :
具有非对称读/写延迟的持久系统的多站点同步虚拟机复制。 195-204 伯纳德·林 , 丹尼尔·陈 , 永奎安 , Zbigniew Kalbarczyk公司 , 拉维山卡·K·伊耶 :
核电厂基于PLC的安全系统攻击引发的共模故障:实践经验报告。 205-210
第5B部分: 快速摘要
Seunghyun Yoon先生 , 李嘉儿(Jiae Lee) , Yohan Kim(金耀汉) , Sunghwan Kim先生 , Hyuk Lim公司 :
软件定义网络上容错网络物理系统的快速控制器切换。 211-212 丹·高桥 , Masayuki Arai公司 :
具有两极器件的海上平台体系结构的基于备用瓦的可靠逻辑设计。 213-214 Hironori Arai公司 , 荒井正之 :
用于避免接触的基于擦除码的DTN多路径路由。 215-216 细川俊一 , 高野秀之 , 山崎浩 , 山崎康治 :
单一通用逻辑故障模型的诊断故障仿真方法。 217-218 刘易斯·曾荫权(Lewis Tseng) :
比特币的一致性属性。 219-220 吉村正史 , Tomohiro Bouyashiki先生 , 细川俊一 :
一种使用激活序列生成的硬件特洛伊木马电路检测方法。 221-222 克劳斯·埃克特尔 , 佐哈·莫扎德 :
环形拓扑中的高效容错时钟同步。 223-224 穆罕默德·沙赫里亚尔·拉赫曼 , 阿尼尔班·巴苏 , 清本信造(Shinsaku Kiyomoto) :
面向外包隐私保护多方DBSCAN。 225-226
海报
张五仙 , 孙洪民 :
Instagram垃圾邮件检测。 227-228 阿明·齐默尔曼 , 保罗·马西尔 :
AFDX实时航空电子通信网络可靠性评估。 229-230 Kiat Siong Ng公司 , 陈培音 , 皮慧婷 :
为狗配备可靠安全代理的智能笼子。 231-232 Koichi Bando先生 , 松野裕隆 , 杨石垣 , 田中贤治 :
信息系统故障趋势分析:通信网络和财务信息系统案例研究。 233-234
第6A部分: 安全性2
基德雷·萨巴利奥斯凯特 , Geok见Ng , 贾斯汀·鲁思 , 阿迪蒂亚·马图尔 :
在检测网络物理系统上的隐身攻击时损坏传感器数据检测方法的比较。 235-244 纪尧姆·艾弗兰特 , 贝诺?t摩根 , 埃里克·阿拉塔 , 文森特·尼科米特 , 穆罕默德·卡亚利基 :
Intel和ARM硬件隔离机制的抽象模型和比较分析。 245-254
第6B部分: 工业+车间2
家梅罗 , 鲁本斯·德苏萨·马托斯·朱尼尔 , 贾米尔森·丹塔斯 , 保罗·马西尔 :
面向容量的私有云基础设施资源评估可用性模型。 255-260 中野真矢 , 筑谷达弘 :
使用无限时间戳的模型检查并发系统的方法和案例研究。 261-266 Zeineb Zhioua公司 , 伊夫·鲁迪耶 , 拉贝娅·阿穆尔·布利法 :
安全指南的正式规范和验证。 267-273
第7A课时: 交通系统的可靠性1
威廉·G·坦普尔 , 宝安新村 , 陈彬彬(Binbin Chen) , Zbigniew Kalbarczyk公司 , 威廉·桑德斯 :
使用应答器的列车自动停车控制:攻击和软件专用对策。 274-283 Muneyuki Nakamura公司 , Koji Konomi公司 , 马莫鲁·奥哈拉 , 酒井和也 , 福本佐治 :
CAN的电磁噪声容限混合通信协议。 284-291
第7B部分: 编码
赤杉弘(Hiroaki Akutsu) , 山本隆弘 , Kazunori Ueda公司 , 斋藤秀夫 :
MEC:可扩展存储系统的网络优化多级擦除编码。 292-300 阿韦斯·乌斯曼 , 罗伯特·沙德克 , 奥利弗·E·塞尔 :
一种新的高可用性数据复制策略,利用数据语义、编码技术和先验At-Hand知识。 301-310
第8A部分: 交通系统的可靠性2
内金·法塔拉赫·内贾德 , 劳尔·巴博萨 , 约翰·卡尔森 :
虚拟交通灯领导选举协议的概率分析。 311-320 米凯尔·阿斯普伦德 , 雅各布·罗瓦尔 , 埃米利亚·维拉尼 :
车辆协调动态组成员的规范、实施和验证。 321-328
第8B部分: 安全3
穆罕默德·努里丁 , 安德鲁·马图拉诺 , 肯·基夫 , 马苏达·N.巴希尔 , 威廉·H·桑德斯 :
预测性安全模型中的人类用户说明。 329-338 陈洪立 , 陈佳阳 , 姚东措 , 嘉木余 , 博臣台 , 司创礼 , Yennun Huang(黄燕云) , 林嘉明 :
使用差异隐私噪声估计评估数据披露风险。 339-347