掌桥科研
一站式科研服务平台
学术工具
文档翻译
论文查重
文档转换
收录引用
科技查新
期刊封面封底
自科基金
外文数据库(机构版)
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Annual IEEE/IFIP International Conference on Dependable Systems and Networks
Annual IEEE/IFIP International Conference on Dependable Systems and Networks
召开年:
2018
召开地:
Luxembourg City(LU)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures
机译:
电网关键基础设施混合动力的算法攻击综合
作者:
Zhenqi Huang
;
Sriharsha Etigowni
;
Luis Garcia
;
Sayan Mitra
;
Saman Zonouz
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Power grids;
Transient analysis;
Generators;
Power system stability;
Actuators;
2.
Alpha Entanglement Codes: Practical Erasure Codes to Archive Data in Unreliable Environments
机译:
Alpha纠缠码:在不可靠环境中归档数据的实用擦除码
作者:
Vero Estrada-Galiñanes
;
Ethan Miller
;
Pascal Felber
;
Jehan-Francois Pâris
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Redundancy;
Maintenance engineering;
Fault tolerant systems;
Bandwidth;
Data centers;
3.
A Framework for Evaluating Software on Reduced Margins Hardware
机译:
降低利润的硬件上的软件评估框架
作者:
Konstantinos Parasyris
;
Panos Koutsovasilis
;
Vassilis Vassiliadis
;
Christos D. Antonopoulos
;
Nikolaos Bellas
;
Spyros Lalis
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Hardware;
Software;
Libraries;
Monitoring;
Reliability;
Switches;
Timing;
4.
Collaborative Filtering Under a Sybil Attack: Similarity Metrics do Matter!
机译:
在Sybil攻击下进行协作过滤:相似性指标至关重要!
作者:
Antoine Boutet
;
Florestant De Moor
;
Davide Frey
;
Rachid Guerraoui
;
Anne-Marie Kermarrec
;
Antoine Rault
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Measurement;
Collaboration;
Privacy;
Electronic mail;
Correlation;
Data mining;
Companies;
5.
Branching Bisimulation and Concurrent Object Verification
机译:
分支双仿真和并发对象验证
作者:
Xiaoxiao Yang
;
Joost-Pieter Katoen
;
Huimin Lin
;
Gaoang Liu
;
Hao Wu
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Data structures;
Software;
Computer bugs;
Registers;
History;
Computational modeling;
Computer science;
6.
DAVOS: EDA Toolkit for Dependability Assessment, Verification, Optimisation and Selection of Hardware Models
机译:
DAVOS:用于可靠性评估,验证,优化和选择硬件模型的EDA工具包
作者:
Ilya Tuzov
;
David de Andrés
;
Juan-Carlos Ruiz
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Tools;
Analytical models;
Hardware;
Hardware design languages;
Estimation;
Computer architecture;
Standards;
7.
A Reexamination of Internationalized Domain Names: The Good, the Bad and the Ugly
机译:
重新审视国际化域名:好的,坏的和丑陋的
作者:
Baojun Liu
;
Chaoyi Lu
;
Zhou Li
;
Ying Liu
;
Haixin Duan
;
Shuang Hao
;
Zaifeng Zhang
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Blacklisting;
Internet;
Browsers;
Semantics;
Superluminescent diodes;
Uniform resource locators;
8.
Divide and Conquer for Fast SRLG Disjoint Routing
机译:
快速的SRLG不相交路由的分而治之
作者:
Kun Xie
;
Heng Tao
;
Xin Wang
;
Gaogang Xie
;
Jigang Wen
;
Jiannong Cao
;
Zheng Qin
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Routing;
Partitioning algorithms;
Heuristic algorithms;
Search problems;
Time complexity;
High-speed networks;
9.
Code-Dependent and Architecture-Dependent Reliability Behaviors
机译:
依赖于代码和依赖于体系结构的可靠性行为
作者:
Vinícius Fratin
;
Daniel Oliveira
;
Caio Lunardi
;
Fernando Santos
;
Gennaro Rodrigues
;
Paolo Rech
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Computer architecture;
Transistors;
Error analysis;
Error correction codes;
Hardware;
Software reliability;
10.
EndBox: Scalable Middlebox Functions Using Client-Side Trusted Execution
机译:
EndBox:使用客户端可信执行的可扩展Middlebox函数
作者:
David Goltzsche
;
Signe Rüsch
;
Manuel Nieke
;
Sébastien Vaucher
;
Nico Weichbrodt
;
Valerio Schiavoni
;
Pierre-Louis Aublin
;
Paolo Cosa
;
Christof Fetzer
;
Pascal Felber
;
Peter Pietzuch
;
Rüdiger Kapitza
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Middleboxes;
Servers;
Cloud computing;
Virtual private networks;
Cryptography;
11.
DexLego: Reassembleable Bytecode Extraction for Aiding Static Analysis
机译:
DexLego:可重组字节码提取以帮助进行静态分析
作者:
Zhenyu Ning
;
Fengwei Zhang
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Tools;
Static analysis;
Androids;
Humanoid robots;
Malware;
Runtime;
Subspace constraints;
12.
Evaluating Self-Adaptive Authorisation Infrastructures Through Gamification
机译:
通过游戏化评估自适应授权基础结构
作者:
Christopher Bailey
;
Rogério de Lemos
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Games;
Authorization;
Runtime;
Permission;
Servers;
Computer crime;
13.
DTaint: Detecting the Taint-Style Vulnerability in Embedded Device Firmware
机译:
DTaint:检测嵌入式设备固件中的污染样式漏洞
作者:
Kai Cheng
;
Qiang Li
;
Lei Wang
;
Qian Chen
;
Yaowen Zheng
;
Limin Sun
;
Zhenkai Liang
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Static analysis;
Payloads;
Microprogramming;
Security;
Software;
Hardware;
Tools;
14.
FAROS: Illuminating In-memory Injection Attacks via Provenance-Based Whole-System Dynamic Information Flow Tracking
机译:
FAROS:通过基于源的整个系统动态信息流跟踪来阐明内存中的注入攻击
作者:
Meisam Navaki Arefi
;
Geoffrey Alexander
;
Hooman Rokham
;
Aokun Chen
;
Michalis Faloutsos
;
Xuetao Wei
;
Daniela Seabra Oliveira
;
Jedidiah R. Crandall
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Malware;
Tools;
Libraries;
Reverse engineering;
Security;
Payloads;
Monitoring;
15.
Cost-Benefit Analysis of Moving-Target Defense in Power Grids
机译:
电网移动目标防御的成本效益分析
作者:
Subhash Lakshminarayana
;
David K.Y. Yau
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Perturbation methods;
Power grids;
Transmission line measurements;
Power transmission lines;
Transmission line matrix methods;
Topology;
16.
IBBE-SGX: Cryptographic Group Access Control Using Trusted Execution Environments
机译:
IBBE-SGX:使用可信执行环境的密码组访问控制
作者:
Stefan Contiu
;
Rafael Pires
;
Sébastien Vaucher
;
Marcelo Pasin
;
Pascal Felber
;
Laurent Réveillère
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Cloud computing;
Access control;
Encryption;
Public key;
Metadata;
Computational complexity;
17.
Fast Hypervisor Recovery Without Reboot
机译:
快速虚拟机监控程序恢复,无需重启
作者:
Diyu Zhou
;
Yuval Tamir
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Virtual machine monitors;
Kernel;
Booting;
Virtualization;
Linux;
Instruction sets;
Hardware;
18.
Impact of Software Approximations on the Resiliency of a Video Summarization System
机译:
软件近似对视频汇总系统弹性的影响
作者:
Radha Venkatagiri
;
Karthik Swaminathan
;
Chung-Ching Lin
;
Liang Wang
;
Alper Buyuktosunoglu
;
Pradip Bose
;
Sarita Adve
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Resilience;
Software;
Approximation algorithms;
Streaming media;
Real-time systems;
Task analysis;
Cameras;
19.
Byzantine Fault-Tolerant Atomic Multicast
机译:
拜占庭容错原子组播
作者:
Paulo Coelho
;
Tarcisio Ceolin Junior
;
Alysson Bessani
;
Fernando Dotti
;
Fernando Pedone
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Multicast protocols;
Servers;
Fault tolerance;
Fault tolerant systems;
Libraries;
20.
Low Overhead Tag Error Mitigation for GPU Architectures
机译:
GPU架构的低开销标记错误缓解
作者:
Atieh Lotfi
;
Nirmal Saxena
;
Richard Bramley
;
Paul Racunas
;
Philip Shirvani
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Graphics processing units;
Random access memory;
Indexing;
Hamming distance;
Reliability;
Transient analysis;
Resilience;
21.
Importance Sampling of Interval Markov Chains
机译:
间隔马尔可夫链的重要性抽样
作者:
Cyrille Jegourel
;
Jingyi Wang
;
Jun Sun
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Markov processes;
Monte Carlo methods;
Probabilistic logic;
Estimation;
Standards;
Model checking;
Information systems;
22.
Manufacturing Resilient Bi-Opaque Predicates Against Symbolic Execution
机译:
制造具有弹性的双不透明谓词以防止符号执行
作者:
Hui Xu
;
Yangfan Zhou
;
Yu Kang
;
Fengzhi Tu
;
Michael Lyu
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Engines;
Security;
Tools;
Resilience;
Software;
Parallel programming;
23.
Effective Topology Tampering Attacks and Defenses in Software-Defined Networks
机译:
有效的拓扑篡改软件定义网络中的攻击和防御
作者:
Richard Skowyra
;
Lei Xu
;
Guofei Gu
;
Veer Dedhia
;
Thomas Hobson
;
Hamed Okhravi
;
James Landry
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Control systems;
Network topology;
Topology;
Fabrication;
Monitoring;
High-temperature superconductors;
Protocols;
24.
Measuring IPv6 DNS Reconnaissance Attacks and Preventing Them Using DNS Guard
机译:
衡量IPv6 DNS侦查攻击并使用DNS Guard防止攻击
作者:
Qinwen Hu
;
Muhammad Rizwan Asghar
;
Nevil Brownlee
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Servers;
Reconnaissance;
Internet;
Protocols;
Computer crime;
IP networks;
25.
Detecting and Identifying Faulty IoT Devices in Smart Home with Context Extraction
机译:
通过上下文提取检测和识别智能家居中的故障IoT设备
作者:
Jiwon Choi
;
Hayoung Jeoung
;
Jihun Kim
;
Youngjoo Ko
;
Wonup Jung
;
Hanjun Kim
;
Jong Kim
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Smart homes;
Correlation;
Fault diagnosis;
Training;
Actuators;
Usability;
Object recognition;
26.
Modeling Input-Dependent Error Propagation in Programs
机译:
在程序中对与输入有关的错误传播建模
作者:
Guanpeng Li
;
Karthik Pattabiraman
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Hardware;
Probability;
Mathematical model;
Software;
Predictive models;
Transient analysis;
Computer crashes;
27.
Modeling Soft-Error Propagation in Programs
机译:
在程序中对软错误传播建模
作者:
Guanpeng Li
;
Karthik Pattabiraman
;
Siva Kumar Sastry Hari
;
Michael Sullivan
;
Timothy Tsai
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Hardware;
Analytical models;
Program processors;
Probability;
Scalability;
Predictive models;
28.
OWL: Understanding and Detecting Concurrency Attacks
机译:
OWL:了解和检测并发攻击
作者:
Shixiong Zhao
;
Rui Gu
;
Haoran Qiu
;
Tsz On Li
;
Yuexuan Wang
;
Heming Cui
;
Junfeng Yang
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Concurrent computing;
Computer bugs;
OWL;
Tools;
Instruction sets;
Security;
29.
Falcon: A Practical Log-Based Analysis Tool for Distributed Systems
机译:
Falcon:实用的基于日志的分布式系统分析工具
作者:
Francisco Neves
;
Nuno Machado
;
José Pereira
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Tools;
Debugging;
Clocks;
Protocols;
Runtime;
Pipelines;
Schedules;
30.
Pleiades: Distributed Structural Invariants at Scale
机译:
le:大规模分布式结构不变式
作者:
Simon Bouget
;
Yérom-David Bromberg
;
Adrien Luxey
;
François Taiani
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Shape;
Protocols;
Topology;
Peer-to-peer computing;
Structural rings;
Resilience;
Maintenance engineering;
31.
Hands Off the Wheel in Autonomous Vehicles?: A Systems Perspective on over a Million Miles of Field Data
机译:
会自动驾驶无人驾驶汽车吗?:百万英里现场数据的系统透视
作者:
Subho S. Banerjee
;
Saurabh Jha
;
James Cyriac
;
Zbigniew T. Kalbarczyk
;
Ravishankar K. Iyer
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Accidents;
Autonomous vehicles;
Roads;
Control systems;
Process control;
Vehicle dynamics;
32.
RDMC: A Reliable RDMA Multicast for Large Objects
机译:
RDMC:大对象的可靠RDMA组播
作者:
Jonathan Behrens
;
Sagar Jha
;
Ken Birman
;
Edward Tremel
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Receivers;
Delays;
Bandwidth;
Hardware;
Robustness;
Task analysis;
33.
POWERALERT: Integrity Checking Using Power Measurement and a Game-Theoretic Strategy
机译:
POWERALERT:使用功率测量和博弈论策略进行完整性检查
作者:
Ahmed M. Fawaz
;
Mohammad A. Noureddine
;
William H. Sanders
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Current measurement;
Kernel;
Security;
Adaptation models;
Protocols;
Frequency measurement;
34.
RECAST: Random Entanglement for Censorship-Resistant Archival STorage
机译:
回顾:抗审查档案存储的随机纠缠
作者:
Roberta Barbi
;
Dorian Burihabwa
;
Pascal Felber
;
Hugues Mercier
;
Valerio Schiavoni
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Peer-to-peer computing;
Servers;
Maintenance engineering;
Encryption;
Metadata;
35.
How Reliable is My Wearable: A Fuzz Testing-Based Study
机译:
我的可穿戴设备的可靠性:基于模糊测试的研究
作者:
Edgardo Barsallo Yi
;
Amiya Maji
;
Saurabh Bagchi
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Smart phones;
Androids;
Humanoid robots;
Tools;
Biomedical monitoring;
Reliability;
Libraries;
36.
Specification-Based Protocol Obfuscation
机译:
基于规范的协议混淆
作者:
Julien Duchêne
;
Eric Alata
;
Vincent Nicomette
;
Mohamed Kaâniche
;
Colas Le Guernic
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Protocols;
Reverse engineering;
Tools;
Software;
Inference algorithms;
Grammar;
Libraries;
37.
FragDroid: Automated User Interface Interaction with Activity and Fragment Analysis in Android Applications
机译:
FragDroid:自动化的用户界面与Android应用程序中的活动和片段分析的交互
作者:
Jia Chen
;
Ge Han
;
Shanqing Guo
;
Wenrui Diao
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Testing;
Androids;
Humanoid robots;
Smart phones;
Switches;
Runtime;
Layout;
38.
Troxy: Transparent Access to Byzantine Fault-Tolerant Systems
机译:
Troxy:透明访问拜占庭容错系统
作者:
Bijun Li
;
Nico Weichbrodt
;
Johannes Behl
;
Pierre-Louis Aublin
;
Tobias Distler
;
Rüdiger Kapitza
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Protocols;
Servers;
Computer crashes;
Fault tolerance;
Fault tolerant systems;
Hardware;
Prototypes;
39.
In Production Performance Testing of SDN Control Plane for Telecom Operators
机译:
面向电信运营商的SDN控制平面的生产性能测试
作者:
Catello Di Martino
;
Ugo Giordano
;
Nishok Mohanasamy
;
Stefano Russo
;
Marina Thottan
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Cloud computing;
Testing;
Network topology;
Topology;
Switches;
Production;
Generators;
40.
Inferring, Characterizing, and Investigating Internet-Scale Malicious IoT Device Activities: A Network Telescope Perspective
机译:
推断,表征和调查Internet规模的恶意IoT设备活动:网络望远镜的角度
作者:
Sadegh Torabi
;
Elias Bou-Harb
;
Chadi Assi
;
Mario Galluscio
;
Amine Boukhtouta
;
Mourad Debbabi
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Telescopes;
Internet of Things;
Security;
Malware;
IP networks;
Monitoring;
41.
Understanding and Analyzing Interconnect Errors and Network Congestion on a Large Scale HPC System
机译:
了解和分析大型HPC系统上的互连错误和网络拥塞
作者:
Mohit Kumar
;
Saurabh Gupta
;
Tirthak Patel
;
Michael Wilder
;
Weisong Shi
;
Song Fu
;
Christian Engelmann
;
Devesh Tiwari
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Resilience;
Time-frequency analysis;
Performance evaluation;
Blades;
Supercomputers;
Integrated circuit interconnections;
Bandwidth;
42.
Parallel Error Detection Using Heterogeneous Cores
机译:
使用异构核的并行错误检测
作者:
Sam Ainsworth
;
Timothy M. Jones
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Hardware;
Out of order;
Registers;
Transistors;
Parallel processing;
Transient analysis;
43.
The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report)
机译:
乌龟与野兔:表征分布式环境中的同步性(实践经验报告)
作者:
Daniel Porto
;
João Leitão
;
Flavio Junqueira
;
Rodrigo Rodrigues
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Protocols;
Cloud computing;
Data centers;
Timing;
Atmospheric measurements;
Particle measurements;
44.
Your Remnant Tells Secret: Residual Resolution in DDoS Protection Services
机译:
您的残余物告诉您的秘密:DDoS保护服务中的残留解决方案
作者:
Lin Jin
;
Shuai Hao
;
Haining Wang
;
Chase Cotton
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
IP networks;
Computer crime;
Servers;
Internet;
Switches;
Content distribution networks;
45.
Localizing Function Errors in Mobile Apps with User Reviews
机译:
通过用户评论本地化移动应用中的功能错误
作者:
Le Yu
;
Jiachi Chen
;
Hao Zhou
;
Xiapu Luo
;
Kang Liu
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Semantics;
Tools;
Androids;
Humanoid robots;
Graphical user interfaces;
Computer bugs;
46.
To Detect Stack Buffer Overflow with Polymorphic Canaries
机译:
使用多态金丝雀检测堆栈缓冲区溢出
作者:
Zhilong Wang
;
Xuhua Ding
;
Chengbin Pang
;
Jian Guo
;
Jun Zhu
;
Bing Mao
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Security;
Runtime;
Instruments;
Force;
Tools;
Instruction sets;
47.
Deceptive Secret Sharing
机译:
欺骗性秘密分享
作者:
Lei Zhang
;
Douglas Blough
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Servers;
Encryption;
Metadata;
Access control;
48.
Network-Attack-Resilient Intrusion-Tolerant SCADA for the Power Grid
机译:
电网抗网络攻击的SCADA
作者:
Amy Babay
;
Thomas Tantillo
;
Trevor Aron
;
Marco Platania
;
Yair Amir
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
SCADA systems;
Power grids;
Protocols;
Substations;
Monitoring;
Resilience;
Data centers;
49.
Obfuscated VBA Macro Detection Using Machine Learning
机译:
使用机器学习的模糊VBA宏检测
作者:
Sangwoo Kim
;
Seokmyung Hong
;
Jaesang Oh
;
Heejo Lee
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Malware;
Machine learning;
Feature extraction;
Portable document format;
Security;
Electronic mail;
Visual BASIC;
50.
Practical Experience: Methodologies for Measuring Route Origin Validation
机译:
实践经验:路线起点验证的测量方法
作者:
Tomas Hlavacek
;
Amir Herzberg
;
Haya Shulman
;
Michael Waidner
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Routing;
IP networks;
Autonomous systems;
Authorization;
Internet security;
51.
RoboADS: Anomaly Detection Against Sensor and Actuator Misbehaviors in Mobile Robots
机译:
RoboADS:针对移动机器人中传感器和执行器不当行为的异常检测
作者:
Pinyao Guo
;
Hunmin Kim
;
Nurali Virani
;
Jun Xu
;
Minghui Zhu
;
Peng Liu
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Robot sensing systems;
Mobile robots;
Actuators;
Robot kinematics;
Anomaly detection;
52.
Generating Cloud Monitors from Models to Secure Clouds
机译:
从模型到安全云生成云监控器
作者:
Elena Troubitsyna
;
Irum Rauf
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Cloud computing;
Security;
Monitoring;
Unified modeling language;
Contracts;
Testing;
Tools;
53.
PreInfer: Automatic Inference of Preconditions via Symbolic Analysis
机译:
PreInfer:通过符号分析自动推断前提条件
作者:
Angello Astorga
;
Siwakorn Srisakaokul
;
Xusheng Xiao
;
Tao Xie
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Tools;
Runtime;
Debugging;
Test pattern generators;
Arrays;
Law;
54.
Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets
机译:
一类成分流体随机Petri网的高效瞬态分析
作者:
Peter Buchholz
;
Tugrul Dayar
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Numerical models;
Stochastic processes;
Analytical models;
Mathematical model;
Petri nets;
Transient analysis;
Fluids;
55.
A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform
机译:
Hyperledger Fabric区块链平台的拜占庭容错订购服务
作者:
João Sousa
;
Alysson Bessani
;
Marko Vukolic
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Fabrics;
Protocols;
Fault tolerance;
Fault tolerant systems;
Cryptography;
Peer-to-peer computing;
56.
Machine Learning Models for GPU Error Prediction in a Large Scale HPC System
机译:
大规模HPC系统中用于GPU错误预测的机器学习模型
作者:
Bin Nie
;
Ji Xue
;
Saurabh Gupta
;
Tirthak Patel
;
Christian Engelmann
;
Evgenia Smirni
;
Devesh Tiwari
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Graphics processing units;
Power demand;
Error correction codes;
Temperature distribution;
Predictive models;
Correlation;
57.
On the Challenges of Building a BFT SCADA
机译:
关于建设BFT SCADA的挑战
作者:
André Nogueira
;
Miguel Garcia
;
Alysson Bessani
;
Nuno Neves
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Servers;
SCADA systems;
Fault tolerance;
Fault tolerant systems;
Buildings;
Prototypes;
Monitoring;
58.
Migrating SGX Enclaves with Persistent State
机译:
迁移具有持久状态的SGX飞地
作者:
Fritz Alder
;
Arseny Kurnikov
;
Andrew Paverd
;
N. Asokan
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Software;
Cryptography;
Hardware;
Virtual machine monitors;
Virtual machining;
Computational modeling;
59.
Shiraz: Exploiting System Reliability and Application Resilience Characteristics to Improve Large Scale System Throughput
机译:
Shiraz:开发系统可靠性和应用程序弹性来提高大规模系统吞吐量
作者:
Rohan Garg
;
Tirthak Patel
;
Gene Cooperman
;
Devesh Tiwari
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Checkpointing;
Throughput;
Switches;
Reliability;
Schedules;
Resilience;
Computational modeling;
60.
ZOE: Content-Based Anomaly Detection for Industrial Control Systems
机译:
ZOE:用于工业控制系统的基于内容的异常检测
作者:
Christian Wressnegger
;
Ansgar Kellner
;
Konrad Rieck
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Protocols;
Prototypes;
Anomaly detection;
Data models;
Detectors;
Intrusion detection;
61.
MobiCeal: Towards Secure and Practical Plausibly Deniable Encryption on Mobile Devices
机译:
MobiCeal:在移动设备上实现安全且实用的可否认的加密
作者:
Bing Chang
;
Fengwei Zhang
;
Bo Chen
;
Yingjiu Li
;
Wen-Tao Zhu
;
Yangguang Tian
;
Zhan Wang
;
Albert Ching
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Encryption;
Smart phones;
Password;
Switches;
Side-channel attacks;
62.
Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
机译:
ren:分区事务因果一致的数据存储中的非阻塞读取
作者:
Kristina Spirovska
;
Diego Didona
;
Willy Zwaenepoel
会议名称:
《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》
|
2018年
关键词:
Protocols;
Servers;
Scalability;
Data centers;
Throughput;
Distributed databases;
Clocks;
意见反馈
回到顶部
回到首页