默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2017年第36届SAFECOMP研讨会：意大利特伦托

>主页 >会议和研讨会 >SAFECOMP公司

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/2017w
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/2017年
斯特凡诺·托内塔,埃尔文·肖奇,弗里德曼·比施:
计算机安全、可靠性和安全——SAFECOMP 2017年研讨会，ASSURE，DECSS，SASSUR，TELERISE，TIPS，意大利特伦托，2017年9月12日，会议记录。计算机科学课堂讲稿10489,施普林格 2017，国际标准图书编号978-3-319-66283-1

第五届软件集成系统保证案例国际研讨会（ASSURE 2017）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/伯顿GH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BurtonGH17
西蒙·伯顿,利迪亚·高尔霍夫,克里斯蒂安·海因泽曼:
为高度自动化驾驶中机器学习的安全性提供案例。 5-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/KinoshitaK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/KinoshitaK17网址
基诺西塔（Shuji Kinoshita）,吉木敬之（Yoshiki Kinoshita）:
保证案例演变的思维实验——从逻辑角度。 17-26
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BloomfieldBBN17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BloomfieldBBN17
罗宾·布隆菲尔德,彼得·毕晓普,埃文·巴特勒,卡特琳娜·内卡乔娃:
使用保障案例框架制定安全策略和政策。 27-28
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/WardzinskiJ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/WardzinskiJ17
安德烈·沃津斯基（Andrzej Wardzinski）,保罗·琼斯:
保证案例与系统模型集成的统一模型接口。 39-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/CarlanBDTV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/CalanBDTV17
卡门·科尔兰,西蒙·巴纳,亚历山大·迪瓦尔德,亚历山大·萨利迪斯,塞巴斯蒂安·沃斯:
显式案例：基于模型的系统和安全案例集成开发。 52-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Matsuno17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Matsuno17
松野裕隆:
D-Case Communicator:面向多个利益相关者的基于Web的GSN编辑器。 64-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/PereiraHPN17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/PereiraHPN17
丹尼尔·帕特里克·佩雷拉,塞尔索·M·平田,罗德里戈·帕利亚雷斯,西明·纳德杰姆·泰拉尼:
走向安全和安保约束综合分析。 70-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/AltawairqiM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/AltawairqiM17
阿卜杜拉·阿尔塔瓦尔奇,曼努埃尔·马雷克:
系统安全分析的攻击建模-（立场文件）。 81-86
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/TempleWCK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/TempleWCK17
威廉·G·坦普尔,岳武,陈彬彬（Binbin Chen）,Zbigniew Kalbarczyk公司:
协调系统——安全与安保协同分析的理论方法和组件中心方法。 87-93

第十二届可靠智能嵌入式网络物理系统和系统体系国际ERCIM/EWICS/ARTEMIS研讨会（DECSS 2017）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/SardyTSS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/SardyTSS17
路易·艾尔·萨迪,汤汤,马克·斯皮斯兰德,弗朗西丝卡·萨利埃蒂:
分析涉及重叠指令的潜在代码漏洞。 103-113
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/RezabalEES17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/RezabalEES17
米伦·伊拉拉门迪·雷扎巴尔,Leire Etxeberria公司,Xabier Elkorobarrutia公司,Goiuria Sagardui公司:
使用反射状态图提高安全关键CPS的可靠性。 114-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/IsakovicGRKPKGE17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/IsakovicGRKPKGE17
哈里斯·伊萨科维奇,拉杜·格罗苏,丹尼斯·拉塔西奇,吉里·卡德莱克,兹德内克·波尔,史蒂夫·克里森,基里亚科斯·乔治奥,克斯汀·埃德尔,诺伯特·德鲁姆,莉莲·塔德罗斯,弗莱明·克里斯滕森,艾米莉·惠特利,巴斯蒂安·法卡斯,罗尔夫·梅耶,姆拉登·贝雷科维奇:
项目EMC^2中探讨了混合关键集成的硬件技术概览。 127-140
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/AntonanteVBN17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/AntonanteVBN17
帕斯奎尔·安东南特,胡安·瓦尔弗德·阿尔卡拉,Stylianos Basagiannis公司,马可·迪纳塔莱:
多核平台中混合临界应用的安全实现：基于模型的设计方法。 141-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/NicolasELBCSP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/NicolasELBCSP17
卡洛斯·费尔南多·尼科拉斯,费尔南多·艾扎奎尔,阿西尔·拉鲁西亚,西蒙·巴纳,弗兰克·乔维尔,Goiuria Sagardui公司,乔恩·佩雷斯:
GSN支持混合临界系统认证。 157-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Tullenburg第17页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/TullenburgP17
费迪南德·冯·图伦堡,托马斯·菲芬伯格:
软件定义网络体系结构中可靠通信的概念。 173-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/PloszSV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/PloszSV17
桑多·普洛什,克里斯托夫·施密特纳,帕尔·瓦尔加:
工业协同自动化系统的安全分析。 187-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/MugarzaPJ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/MugarzaPJ17
伊马诺·穆加尔扎,豪尔赫·帕拉,爱德华多·雅各布:
安全与安保协同工程中的软件更新。 199-210
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/KawanishiNSY17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/KawanishiNSY17
川崎康夫,西原秀美,大辅岛,Hirotaka吉田:
基于JASO TP15002的汽车系统安全评估详细分析。 211-224
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/MullerL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/MullerL17
塞巴斯蒂安·米勒,彼得·利格斯迈耶:
用于高度动态协作过程的分布式系统服务的系统组合。 225-236
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/LeiteAF17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/LeiteAF17
小法比奥·路易斯·莱特。,拉斯穆斯·阿德勒,帕特里克·费特:
自主和协作医疗网络物理系统的安全保证。 237-248
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/MajdTD17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/MajdTD17
阿明·马吉德,埃琳娜·特鲁比西纳,马苏德·达内斯塔拉布:
无人机的安全意识控制。 249-260

第六届安全关键系统新一代系统保证方法国际研讨会（SASSUR 2017）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/VaraGGGF17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/VaraGGGF17
何塞·路易斯·德拉瓦拉,阿尔瓦罗·戈麦斯,埃琳娜·加列戈,冈萨洛·盖诺瓦,阿纳贝尔·弗拉加:
工业环境中使用语义技术的安全标准表示。 265-272
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/MacherMRMK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/MacherMRMK17
乔治·马赫,亚历山大·马奇,安德烈亚斯·里尔,理查德·梅斯纳兹,克里斯蒂安·克里纳:
汽车SPICE、安全和网络安全集成。 273-285
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/MartinBSMGRM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/MartinBSMGRM17
马汉茂,罗伯特·布兰伯格,克里斯托弗·施米特纳,马振东,古路伯,亚历杭德拉·鲁伊斯,乔治·马赫:
安全与安保合作与论证框架。 286-297
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/VarkoiN17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/VarkoiN17
蒂莫·瓦尔科伊,里斯托·纳瓦莱恩:
核领域安全关键系统供应商选择过程评估。 298-308
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BhardwajL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BhardwajL17
尼基塔·巴尔德瓦杰,彼得·利格斯迈耶:
开放自适应系统中安全重构的运行时风险评估概念。 309-316
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/SljivoGK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/SljivoGK17
Irfan Sljivo公司,芭芭拉·加利纳,伯恩哈德·凯泽:
通过合同确保汽车排的降级级联。 317-329

第三届数据隐私和安全技术和法律问题国际研讨会（TELERISE 2017）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BonattiKPW17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BonatiKPW17
皮耶罗·A·博纳蒂,萨布丽娜·基兰,阿克塞尔·波利斯,里戈·温宁:
透明的个人数据处理：未来之路。 337-349
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/CerossS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/CerossS17
亚伦·塞洛斯,安德鲁·辛普森:
使用数据保护监管行动作为隐私经济学的数据源。 350-360
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/RaniseS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/RaniseS17
西尔维奥·兰伊斯,哈里·西斯万托罗:
通过安全策略分析进行自动法律合规性检查。 361-372
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/CalabroLM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/CalabroLM17
安东内洛·卡拉博,弗朗西丝卡·洛内蒂,埃达·马切蒂:
通过监控进行访问控制策略覆盖评估。 373-383
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/GiorgiMSS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/GiorgiMSS17
贾科莫·乔治,法比奥·马蒂内利,安德烈亚·萨拉奇诺,米娜·谢哈利沙希:
如果可以的话，试试穿我的鞋走路：通过深度学习准确识别步态。 384-395
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/ArgyriouDS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/ArgyriouDS17
马里奥斯·阿吉里奥,尼古拉·德拉戈尼,安吉洛·斯波格纳迪:
OAuth 2.0框架中的安全流：案例研究。 396-406
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/CostaSC17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/CostaSC17
加布里埃尔·科斯塔,费德里科·西尼加利亚,罗伯托·卡蓬:
PolEnA：在Android中实施细粒度权限策略。 407-414
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/PellungriniPPM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/PellungriniPPM17
罗伯托·佩伦格里尼,卢卡·帕帕拉多,弗朗西丝卡·普拉特斯,安娜·蒙雷尔:
快速评估人类移动数据中的隐私风险。 415-426
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/MaSPSG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/MaSPSG17
马振东,沃尔特·塞布克,贝蒂娜·波斯皮西尔,克里斯托夫·施密特纳,古路伯:
汽车领域的安全和隐私：技术和社会分析。 427-434
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HehnleKLLSWL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HehnleKLLSWL17
菲利普·亨勒,帕斯卡·凯尔巴赫,李贤进,萨布丽娜·勒恩,丹尼尔·斯泰因格,玛丽娜·温布伦纳,汉诺·朗维格:
在线社交网络一键隐私。 435-442

第二届安全工程时机绩效国际研讨会（TIPS 2017）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/HavelundJ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/HavelundJ17
克劳斯·哈维隆德,拉杰夫·乔希:
使用Scala的层次状态机对Rover通信进行建模。 447-461
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/SkelinG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/SkelinG17
姆拉登·斯凯林,马克·盖伦:
分层同步数据流模型的基于组件的（max，+）代数吞吐量分析。 462-476

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。