达格斯图尔报告，第4卷，第12期

摘要

引用为

《达格斯图尔报告》，第4卷，第12期，达格斯图-莱布尼兹·泽特鲁姆宫（2015）

@第{DagRep.4.12条，title={{Dagstuhl Reports，第4卷，第12期，2014年12月，完整版}}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2015年}，体积={4}，数字＝{12}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12},URN={URN:nbn:de:0030-drops-50099}，doi={10.4230/DagRep.4.12}，annote={关键词：达格斯图尔报告，第4卷，第12期，2014年12月，完整版}}

摘要

引用为

《达格斯图尔报告》，第4卷，第12期，第i-ii页，达格斯图-莱布尼兹·泽特鲁姆宫（2015）

@第{DagRep.4.12.i条，title={{Dagstuhl Reports，目录，第4卷，第12期，2014年}}，页面={i--ii}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2015年}，体积={4}，数字={12}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.4.12.i},URN={URN:nbn:de:0030-drops-50081}，doi={10.4230/DagRep.4.12.i}，annote={关键词：达格斯图尔报告，目录，第4卷，第12期，2014年}}

摘要

引用为

迪特尔·戈尔曼（Dieter Gollmann）、科马克·赫利（Cormac Herley）、文森特·柯尼格（Vincent Koenig）、沃尔特·彼得斯（Wolter Pieters）和玛蒂娜·安吉拉·萨西（Martina Angela Sasse）。社会技术安全指标（达格斯图尔研讨会14491）。《达格斯图尔报告》，第4卷，第12期，第1-28页，达格斯图宫——莱布尼兹·泽特鲁姆宫（2015）

@文章{gollmann_et_al:DagRep.4.12.1，作者＝{Gollmann，Dieter和Herley，Cormac和Koenig，Vincent和Pieters，Wolter和Sasse，Martina Angela}，title={{社会技术安全指标（达格斯图尔研讨会14491）}}，页数={1--28}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2015年}，体积={4}，数字={12}，editor={戈尔曼、迪特尔和赫利、科马克和柯尼格、文森特和彼得斯、沃尔特和萨西、玛蒂娜·安吉拉}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/达格代表4.12.1},URN={URN:nbn:de:0030-drops-49744}，doi={10.4230/DagRep.4.12.1}，annote={关键词：安全风险管理、安全度量、社会技术安全、社会工程、多步骤攻击、安全投资回报}}

摘要

引用为

Gilles Barthe、Michael Hicks、Florian Kerschbaum和Dominique Unruh。编程语言和密码学之间的协同（达格斯图尔研讨会14492）。《达格斯图尔报告》第4卷第12期第29-47页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2015）

@第{barthe_et_al:DagRep.4.12.29条，作者＝{Barthe、Gilles和Hicks、Michael和Kerschbaum、Florian和Unruh、Dominique}，title={{编程语言和密码学之间的协同作用（Dagstuhl研讨会14492）}}，页数={29--47}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2015年}，体积={4}，数字={12}，editor={Barthe、Gilles和Hicks、Michael和Kerschbaum、Florian和Unruh、Dominique}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.29},URN={URN:nbn:de:0030-drops-50045}，doi={10.4230/DagRep.4.12.29}，annote={关键词：安全、理论、语言}}

摘要

引用为

James Cheney、Torsten Grust和Dimitrios Vytiniotis。大数据编程语言（PlanBig）（达格斯图尔研讨会14511）。《达格斯图尔报告》第4卷第12期第48-67页，达格斯图宫-莱布尼兹·泽特鲁姆·福尔·Informatik（2015）

@第{cheney_et_al:DagRep.4.12.48条，作者＝{Cheney，James和Grust，Torsten和Vytiniotis，Dimitrios}，title={{大数据编程语言（PlanBig）（达格斯图尔研讨会14511）}}，页数={48--67}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2015年}，体积={4}，数字={12}，editor={切尼、詹姆斯·格罗斯特、托尔斯滕和维蒂尼奥蒂斯、迪米特里奥斯}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.48},URN={URN:nbn:de:0030-drops-50055}，doi={10.4230/DagRep.4.12.48}，annote={关键词：编程语言、数据库、以数据为中心的计算、机器学习、云计算}}

摘要

引用为

简·希尔斯顿（Jane Hillston）、杰里米·皮特（Jeremy Pitt）、马丁·威辛（Martin Wirsing）和弗兰科·赞博内利（Franco Zambonelli）。集体适应系统：定性和定量建模与分析（Dagstuhl研讨会14512）。《达格斯图尔报告》，第4卷，第12期，第68-113页，达格斯图宫-莱布尼兹·泽特鲁姆·福尔信息技术馆（2015）

@第{hillston_et_al:DagRep.4.12.68条，author={Hillston、Jane和Pitt、Jeremy和Wirsing、Martin和Zambonelli、Franco}，title={{集体适应系统：定性和定量建模与分析（Dagstuhl研讨会14512）}}，页数={68--113}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2015年}，体积={4}，数字＝{12}，editor={希尔斯顿、简和皮特、杰里米和威辛、马丁和赞博内利、佛朗哥}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.68},URN={URN:nbn:de:0030-drops-50066}，doi＝{10.4230/DagRep.4.12.68}，annote={关键词：集体适应系统，定性和定量建模与分析，验证，人在回路中}}