编辑配置文件（在新选项卡中打开） 斯特凡尼德劳恩 合著者距离 作者ID： 德拉努·斯蒂芬妮 发布日期： 斯特凡尼德劳恩;斯特普哈尼州德劳恩 外部链接： 数据库管理程序 已编制索引的文档： 52出版物自2005年以来 合著者： 35位合著者具有49联合出版物 419名合作作者 全部的 前5名合著者 3 单作者的 19 维罗尼克·科尔蒂尔 10 史蒂夫·克莱默 7 休伯特·科蒙·隆德 6 雷米·克雷蒂安 4 塞尔吉·布尔苏克 4 卢卡·赫斯基 3 马蒂尔德·阿尔诺 3 大卫·巴尔德 3 文森特·雪瓦尔 3 莱恩，马克·德莫特 2 迈托·阿拉皮尼斯 2 马修·波德特 2 雪莲骑士 2 瑟·特凡·乔巴赫 2 安托万·达隆 2 帕斯卡·拉福卡德 2 丹尼斯·卢吉兹 2 拉尔夫·特里宁 1 莫滕·达尔 1 亚历山大·戴班特 1 简·迪格里克 1 杰雷米·德莱特 1 帕特里克·德贝兹 1 詹妮克·德雷尔 1 亚瑟·戈蒂埃 1 佛罗伦萨·杰克马尔 1 约瑟夫·拉勒曼德 1 林，海 1 克里斯托弗·林奇（Christopher A.Lynch）。 1 丹尼尔·帕塞拉 1 奥利维埃·佩雷拉 1 查尔斯·普鲁德霍姆 1 格雷厄姆·斯蒂尔 1 维什纳维桑达拉扬 1 西里尔·威德林 全部的 前5名系列 4 信息与计算 4 自动推理杂志 3 ACM计算逻辑事务 2 理论计算机科学 2 系统设计中的形式化方法 2 计算机科学中的逻辑方法 1 信息处理信件 1 程序设计中的逻辑和代数方法杂志 领域 47 计算机科学（68至XX） 42 信息与通信理论、电路（94-XX） 9 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 45出版物有被引用237中的次103文件 引用人▼ 年份▼ 有限变元性质：如何去掉一些代数性质。 Zbl 1078.68059号 休伯特·科蒙·隆德;斯特凡尼德劳恩 44 2005 验证电子投票协议的隐私类型属性：品尝者。 Zbl 1284.68243号 斯特凡尼德劳恩;史蒂夫·克莱默;马克·瑞恩 14 2010 同态的简单入侵者演绎问题。 兹比尔1184.68459 斯特凡尼德劳恩 10 2006 YAPA：计算入侵者知识的通用工具。 兹比尔1242.94018 马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 10 2009 自动化安全分析：约束系统的符号等价。 Zbl 1291.94068号 文森特·雪瓦尔;休伯特·科蒙·隆德;斯特凡尼德劳恩 9 2010 组合算法以确定安全协议中的知识。 Zbl 1148.68361号 马蒂尔德·阿尔诺;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 8 2007 安全地制定安全协议。 Zbl 1135.68392号 维罗尼克·科尔蒂尔;杰雷米·德莱特;斯特凡尼德劳恩 8 2007 决定单体方程理论的安全协议知识。 Zbl 1137.68325号 维罗尼克·科尔蒂尔;斯特凡尼德劳恩 8 2007 使用约束求解确定基于等效的特性。 Zbl 1294.68111号 文森特·雪瓦尔;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 8 2013 单模态方程理论的符号协议分析。 Zbl 1148.68325号 斯特凡尼德劳恩;帕斯卡·拉福卡德;丹尼斯·卢吉兹;拉尔夫·特里宁 7 2008 从一个会话到多个会话：安全协议的动态标记。 Zbl 1182.68082号 迈托·阿拉皮尼斯;斯特凡尼德劳恩;史蒂夫·克莱默 7 2008 在收敛方程理论下计算安全协议知识。 Zbl 1250.03016号 瑟·特凡·乔巴赫;斯特凡尼德劳恩;史蒂夫·克莱默 7 2009 安全地制定安全协议。 Zbl 1165.68358号 维罗尼克·科尔蒂尔;斯特凡尼德劳恩 7 2009 在收敛方程理论下计算安全协议知识。 Zbl 1242.68098号 瑟·特凡·乔巴赫;斯特凡尼德劳恩;史蒂夫·克莱默 7 2012 应用pi演算的符号互模拟。 Zbl 1135.94327号 斯特凡尼德劳恩;史蒂夫·克莱默;马克·瑞恩 6 2007 在安全协议中免费键入消息：等价属性的情况。 Zbl 1417.68124号 雷米·克雷蒂安;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 6 2014 YAPA：计算入侵者知识的通用工具。 Zbl 1353.68019号 马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 5 2013 AGh的不可判定性结果。 Zbl 1171.94344号 斯特凡尼德劳恩 4 2006 通过刚性/柔性分辨率进行协议验证。 Zbl 1137.94342号 斯特普哈尼州德劳恩;林，海;克里斯托弗·林奇 4 2007 存在同态运算符和异或的符号协议分析。 Zbl 1133.94315号 斯特凡尼德劳恩;帕斯卡·拉福卡德;丹尼斯·卢吉兹;拉尔夫·特里宁 4 2006 密码协议中建立基于等价性属性的符号方法综述。 Zbl 1359.68023号 斯特凡尼德劳恩;卢卡·赫斯基 4 2017 安全协议中两个知识概念的可决定性和组合结果。 兹比尔1242.68099 维罗尼克·科尔蒂尔;斯特凡尼德劳恩 4 2012 可推导性约束、等式理论和电子货币。 Zbl 1186.68283号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 3 2007 分析路由协议：四个节点拓扑就足够了。 Zbl 1353.68020号 维罗尼克·科尔蒂尔;简·迪格里克;斯特凡尼德劳恩 3 2012 关联交换演绎约束。 Zbl 1186.68282号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 3 2007 基于密码的协议的组成。 Zbl 1291.68035号 雪莲骑士;斯特凡尼德劳恩;史蒂夫·克莱默;马克·D·瑞恩。 3 2013 从安全协议到下推自动机。 Zbl 1367.68186号 雷米·克雷蒂安;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 3 2015 确定约束系统集之间符号等价性的过程。 Zbl 1371.68189号 文森特·雪瓦尔;休伯特·科蒙·隆德;斯特凡尼德劳恩 3 2017 安全协议的部分降阶。 Zbl 1374.68318号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 3 2015 在安全协议中免费键入消息。 Zbl 1433.68211号 雷米·克雷蒂安;维罗尼克·科尔蒂尔;安托万·达隆;斯特凡尼德劳恩 2 2020 通过递归测试确定协议的安全性。 Zbl 1341.68013号 马蒂尔德·阿尔诺;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 2 2011 针对离线字典攻击的概率加密协议安全性的决策程序。 Zbl 1107.68041号 斯特凡尼德劳恩;佛罗伦萨·杰克马尔 2 2006 从安全协议到下推自动机。 Zbl 1335.94040号 雷米·克雷蒂安;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 2 2013 应用pi演算中基于仿真的安全性。 Zbl 1250.94035号 斯特凡尼德劳恩;史蒂夫·克莱默;奥利维埃·佩雷拉 2 2009 可重复性约束和盲签名。 Zbl 1360.94298号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 2 2014 分析加密协议中的隐私类型属性（受邀演讲）。 兹比尔1462.68017 斯特凡尼德劳恩 2 2018 安全协议等价物的POR。超越行动决定。 Zbl 1496.68055号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 2 2018 有效地确定标准原语和阶段的等价性。 兹比尔1496.68060 维罗尼克·科尔蒂尔;安托万·达隆;斯特凡尼德劳恩 2 2018 安全协议、约束系统和群论。 Zbl 1358.68185号 斯特凡尼德劳恩;史蒂夫·克莱默;丹尼尔·帕塞拉 1 2012 转换密码协议以编写。 Zbl 1246.68068号 雪莲骑士;斯特凡尼德劳恩;史蒂夫·克莱默 1 2011 可重复性约束。 Zbl 1273.03103号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 1 2009 用于确定跟踪等价性的简化语义。 Zbl 1448.68326号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 1 2017 基于匿名位置服务的隐私正式分析。 Zbl 1378.94035号 莫滕·达尔;斯特凡尼德劳恩;格雷厄姆·斯蒂尔 1 2012 检查跟踪等价性：如何消除nonce？ Zbl 1499.68048号 雷米·克雷蒂安;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 1 2015 分析安全协议中物理邻近性的符号框架。 兹比尔1528.94042 亚历山大·戴班特;斯特凡尼德劳恩;西里尔·威德林 1 2018 在安全协议中免费键入消息。 Zbl 1433.68211号 雷米·克雷蒂安;维罗尼克·科尔蒂尔;安托万·达隆;斯特凡尼德劳恩 2 2020 分析加密协议中的隐私类型属性（受邀演讲）。 兹比尔1462.68017 斯特凡尼德劳恩 2 2018 安全协议等价物的POR。超越行动决定。 Zbl 1496.68055号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 2 2018 有效地确定标准原语和阶段的等价性。 兹比尔1496.68060 维罗尼克·科尔蒂尔;安托万·达隆;斯特凡尼德劳恩 2 2018 分析安全协议中物理邻近性的符号框架。 兹比尔1528.94042 亚历山大·戴班特;斯特凡尼德劳恩;西里尔·威德林 1 2018 密码协议中建立基于等价性属性的符号方法综述。 Zbl 1359.68023号 斯特凡尼德劳恩;卢卡·赫斯基 4 2017 确定约束系统集之间符号等价性的过程。 Zbl 1371.68189号 文森特·雪瓦尔;休伯特·科蒙·隆德;斯特凡尼德劳恩 3 2017 用于确定跟踪等价性的简化语义。 Zbl 1448.68326号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 1 2017 从安全协议到下推自动机。 Zbl 1367.68186号 雷米·克雷蒂安;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 3 2015 安全协议的部分降阶。 Zbl 1374.68318号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 3 2015 检查跟踪等价性：如何消除nonce？ Zbl 1499.68048号 雷米·克雷蒂安;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 1 2015 在安全协议中免费键入消息：等价属性的情况。 Zbl 1417.68124号 雷米·克雷蒂安;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 6 2014 可重复性约束和盲签名。 Zbl 1360.94298号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 2 2014 使用约束求解确定基于等效的特性。 Zbl 1294.68111号 文森特·雪瓦尔;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 8 2013 YAPA：计算入侵者知识的通用工具。 Zbl 1353.68019号 马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 5 2013 基于密码的协议的组成。 Zbl 1291.68035号 雪莲骑士;斯特凡尼德劳恩;史蒂夫·克莱默;马克·D·瑞恩。 3 2013 从安全协议到下推自动机。 Zbl 1335.94040号 雷米·克雷蒂安;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 2 2013 在收敛方程理论下计算安全协议知识。 Zbl 1242.68098号 瑟·特凡·乔巴赫;斯特凡尼德劳恩;史蒂夫·克莱默 7 2012 安全协议中两个知识概念的可决定性和组合结果。 兹比尔1242.68099 维罗尼克·科尔蒂尔;斯特凡尼德劳恩 4 2012 分析路由协议：四个节点拓扑就足够了。 Zbl 1353.68020号 维罗尼克·科尔蒂尔;简·迪格里克;斯特凡尼德劳恩 3 2012 安全协议、约束系统和群论。 Zbl 1358.68185号 斯特凡尼德劳恩;史蒂夫·克莱默;丹尼尔·帕塞拉 1 2012 基于匿名位置服务的隐私正式分析。 Zbl 1378.94035号 莫滕·达尔;斯特凡尼德劳恩;格雷厄姆·斯蒂尔 1 2012 通过递归测试确定协议的安全性。 兹比尔1341.68013 马蒂尔德·阿尔诺;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 2 2011 转换密码协议以编写。 Zbl 1246.68068号 雪莲骑士;斯特凡尼德劳恩;史蒂夫·克莱默 1 2011 验证电子投票协议的隐私类型属性：品尝者。 Zbl 1284.68243号 斯特凡尼德劳恩;史蒂夫·克莱默;马克·瑞恩 14 2010 自动化安全分析：约束系统的符号等价。 Zbl 1291.94068号 文森特·雪瓦尔;休伯特·科蒙·隆德;斯特凡尼德劳恩 9 2010 YAPA：计算入侵者知识的通用工具。 Zbl 1242.94018号 马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 10 2009 在收敛方程理论下计算安全协议知识。 Zbl 1250.03016号 瑟·特凡·乔巴赫;斯特凡尼德劳恩;史蒂夫·克莱默 7 2009 安全地制定安全协议。 Zbl 1165.68358号 维罗尼克·科尔蒂尔;斯特凡尼德劳恩 7 2009 应用pi演算中基于仿真的安全性。 Zbl 1250.94035号 斯特凡尼德劳恩;史蒂夫·克莱默;奥利维埃·佩雷拉 2 2009 可重复性约束。 Zbl 1273.03103号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 1 2009 单体方程理论的符号协议分析。 Zbl 1148.68325号 斯特凡尼德劳恩;帕斯卡·拉福卡德;丹尼斯·卢吉兹;拉尔夫·特里宁 7 2008 从一个会话到多个会话：安全协议的动态标记。 Zbl 1182.68082号 迈托·阿拉皮尼斯;斯特凡尼德劳恩;史蒂夫·克莱默 7 2008 组合算法以确定安全协议中的知识。 Zbl 1148.68361号 马蒂尔德·阿尔诺;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 8 2007 安全地制定安全协议。 Zbl 1135.68392号 维罗尼克·科尔蒂尔;杰雷米·德莱特;斯特凡尼德劳恩 8 2007 决定单体方程理论的安全协议知识。 Zbl 1137.68325号 维罗尼克·科尔蒂尔;斯特凡尼德劳恩 8 2007 应用pi演算的符号互模拟。 Zbl 1135.94327号 斯特凡尼德劳恩;史蒂夫·克莱默;马克·瑞恩 6 2007 通过刚性/柔性分辨率进行协议验证。 Zbl 1137.94342号 斯特普哈尼州德劳恩;林，海;克里斯托弗·林奇 4 2007 可推导性约束、等式理论和电子货币。 Zbl 1186.68283号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 3 2007 关联交换演绎约束。 Zbl 1186.68282号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 3 2007 同态的简单入侵者演绎问题。 兹比尔1184.68459 斯特凡尼德劳恩 10 2006 AGh的不可判定性结果。 Zbl 1171.94344号 斯特凡尼德劳恩 4 2006 同态算子和异或存在下的符号协议分析。 兹比尔1133.94315 斯特凡尼德劳恩;帕斯卡·拉福卡德;丹尼斯·卢吉兹;拉尔夫·特里宁 4 2006 针对离线字典攻击的概率加密协议安全性的决策程序。 Zbl 1107.68041号 斯特凡尼德劳恩;佛罗伦萨·杰克马尔 2 2006 有限变元性质：如何去掉一些代数性质。 Zbl 1078.68059号 休伯特·科蒙·隆德;斯特凡尼德劳恩 44 2005 所有引用出版物 前5名被引用出版物 全部的 前5名130位作者引用 23 斯特凡尼德劳恩 17 圣地亚哥埃斯科瓦尔 15 何塞·梅塞盖尔·瓜伊塔 10 维罗尼克·科尔蒂尔 8 史蒂夫·克莱默 7 朱莉娅·萨皮娜 6 休伯特·科蒙·隆德 6 弗朗西斯科·杜兰 5 文森特·雪瓦尔 5 凯瑟琳·梅多斯。 4 玛丽亚·阿尔普特 4 亚尼克·骑士 4 史蒂文·艾克 4 马丁·奥列特，纳西索 4 米歇尔·鲁西诺维奇 4 拉尔夫·萨西 4 卡罗琳·塔尔科特。 3 迈托·阿拉皮尼斯 3 黛米斯·巴利斯 3 David A.Basin。 3 塞尔吉·布尔苏克 3 瑟·特凡·乔巴赫 3 塞尔达尔·埃尔巴图尔 3 帕斯卡·拉福卡德 3 安德鲁·马歇尔。 3 塞巴斯蒂安·亚历山大·莫德谢姆 3 克里斯托夫·林盖森 3 莱恩，马克·德莫特 3 拉尔夫·特里宁 3 卢卡·维甘诺 2 阿帕里西奥·桑切斯，达米安 2 塔贾纳Ban Kirigin 2 罗希特·查达 2 詹妮克·德雷尔 2 玛丽·杜弗洛特 2 卢卡·赫斯基 2 罗斯·霍恩 2 Max Iosifovich，卡诺维奇 2 洛佩斯·鲁埃达，劳尔 2 丹尼斯·卢吉兹 2 绍克·莫 2 Vivek Nigam先生 2 鲁宾·鲁比奥 2 安德烈·斯克洛夫 2 斯蒂芬·斯基里克 2 阿文·费南托（Alwen Fernanto Tiu） 2 塞门·尤尔科夫 1 佩德罗·阿德奥 1 雷纳尔德·阿弗尔德 1 拉贝亚·阿穆尔·布利法 1 马蒂尔德·阿尔诺 1 蒂格兰·阿瓦内索夫 1 毛里西奥·阿亚拉·林科恩 1 库沙尔·巴别尔 1 大卫·巴尔德 1 马修·波德特 1 马修·史蒂文·鲍尔 1 纳杰斯·本·拉杰布 1 穆赫贝丁·贝里玛 1 杰里米·邦吉奥 1 约翰·博格斯特罗姆 1 阿希姆·D·布鲁克。 1 卡洛斯·卡莱罗 1 雪莲骑士 1 曼纽尔·克莱维尔 1 克雷默斯，Cas J.F。 1 安吉尔·昆卡-奥尔特加 1 安托万·达隆 1 阿努帕姆·达塔 1 亚历山大·戴班特 1 弗朗西安·戴奇森 1 杰雷米·德莱特 1 伊曼纽尔·D’Osualdo 1 查尔斯·杜梅尼 1 克里斯蒂安·埃内 1 玛丽贝尔·费尔南德斯 1 杰森·富兰克林 1 Fröschle，Sibylle B。 1 迪帕克·加格 1 拉杰夫·普拉巴卡尔·戈尔 1 格罗兹基，格热戈兹 1 约书亚·D·古特曼。 1 卢多维奇·亨利奥 1 安德烈亚斯·赫斯。 1 佛罗伦萨·杰克马尔 1 克里斯蒂安·约翰森 1 马格纳斯·M·约翰逊。 1 塞勒斯·卡特拉克 1 迪尔森·卡纳尔 1 米歇尔·凯勒 1 弗朗西斯·克莱 1 拉尔夫·库斯特斯 1 亚辛·拉赫内奇 1 约瑟夫·拉勒曼德 1 李迪龙 1 林，海 1 帕特里克·D·林肯。 1 刘、贾 1 萨尔瓦多卢卡斯 1 克里斯托弗·林奇（Christopher A.Lynch）。 …还有30多位作者 全部的 前5名16篇连载文章中引用 11 程序设计中的逻辑和代数方法杂志 8 信息与计算 7 理论计算机科学 6 自动推理杂志 2 系统设计中的形式化方法 2 逻辑与代数程序设计杂志 1 信息处理信件 1 合成 1 符号计算杂志 1 MSCS公司。计算机科学中的数学结构 1 工程、通信和计算中的应用代数 1 数学与人工智能年鉴 1 国际应用数学与计算机科学杂志 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 RAIRO公司。理论信息学及其应用 全部的 前5名在6个字段中引用 100 计算机科学（68至XX） 51 信息与通信理论、电路（94-XX） 18 数学逻辑和基础（03-XX） 3 范畴理论；同调代数（18-XX） 1 历史和传记（01-XX） 1 一般代数系统（08-XX） 按年份列出的引文