编辑配置文件（在新选项卡中打开） 塞巴斯蒂安·亚历山大·莫德谢姆 合著者距离 作者ID： modersheim.sebastian-alexander公司 发布日期： 塞巴斯蒂安·莫德谢姆;塞巴斯蒂安·莫德谢姆。;塞巴斯蒂安·亚历山大·莫德谢姆;Mödersheim，S。 更多。。。较少的 已编制索引的文档： 17出版物自2002年起 2作为编辑的贡献 合著者： 32位合著者具有16联合出版物 543合著作者 全部的 前5名合著者 2 单作者的 10 卢卡·维甘诺 三 Hankes Drielsma，保罗 2 奥马尔·阿穆萨 2 亚历山德罗·阿曼多 2 David A.Basin。 2 亚尼克·骑士 2 卢卡·孔帕尼亚 2 米歇尔·鲁西诺维奇 2 马修·图鲁阿尼 2 劳伦·维格纳龙 1 迈克尔·巴克斯 1 D盆地。 1 尤罕·博伊库特 1 Bouallagui，迈赫迪 1 阿希姆·D·布鲁克。 1 亚历山德罗·布鲁尼 1 马尔科·卡博尼 1 豪尔赫·库勒 1 罗萨里奥·朱斯托利西 1 塞巴斯蒂安·贡德隆 1 托马斯·R·格罗斯。 1 海姆，皮尔雷·科里尔 1 安德烈亚斯·赫斯。 1 奥尔加·库什纳伦科 1 雅各布·曼托瓦尼 1 保罗·莫德斯蒂 1 弗莱明·尼尔森 1 卡图西亚帕拉米德斯 1 比吉特·普菲茨曼 1 汉内·里斯·尼尔森 1 卡斯滕·舒尔曼 1 大卫·冯·奥海姆 系列 2 计算机科学课堂讲稿 1 信息与计算 领域 17 计算机科学（68至XX） 15 信息与通信理论、电路（94-XX） 2 总体主题；集合（00-XX） 2 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用82次69文件 引用人▼ 年份▼ 用于自动验证互联网安全协议和应用程序的AVISPA工具。 兹比尔1081.68523 A.阿曼多。;D盆地。;Y.Boichut。;Y.契瓦利埃。;康帕尼亚，L。;J.库埃拉。;Hankes Drielsma，P。;P.C.海姆。;O.库什纳伦科。;J.曼托瓦尼。;Mödersheim，S。;冯·奥海姆，D。;Rusinovitch，M。;圣地亚哥，J。;M.图鲁阿尼。;维甘诺，L。;维格纳龙，L。 53 2005 代数入侵者推论。 Zbl 1143.94339号 戴维·巴恩斯;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 6 2005 用于安全协议符号分析的开源定点模型检查器。 Zbl 1252.68193号 塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 4 2009 用于安全协议分析的离线猜测的形式化。 Zbl 1108.68455号 保罗·汉克斯·德里尔斯玛;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 4 2005 保护匿名频道。 Zbl 1481.94077号 塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 三 2009 AVISS安全协议分析工具。 Zbl 1010.68795号 亚历山德罗·阿曼多;戴维·巴恩斯;Bouallagui，迈赫迪;亚尼克·骑士;卢卡·孔帕尼亚;塞巴斯蒂安·莫德谢姆;迈克尔·鲁西诺维奇;马修·图鲁阿尼;卢卡·维甘诺;劳伦·维格纳龙 三 2002 Alice和Bob：协调正式模型和实现。 Zbl 1434.68294号 奥马尔·阿穆萨;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 2 2015 安全WS-ReliableMessaging场景的符号和密码分析。 Zbl 1180.68037号 迈克尔·巴克斯;塞巴斯蒂安·莫德谢姆;比吉特·普菲茨曼;卢卡·维甘诺 1 2006 协议验证中模型之间的关系。 Zbl 1146.68345号 塞巴斯蒂安·莫德谢姆 1 2008 重新审查了ASW协议：统一视图。 Zbl 1272.68056号 保罗·汉克斯·德里尔斯玛;塞巴斯蒂安·莫德谢姆 1 2005 懒惰的移动入侵者。 Zbl 1390.68280号 塞巴斯蒂安·莫德谢姆;弗莱明·尼尔森;尼尔森、汉内·里斯 1 2013 安全协议的类型和组合性：对几何片段的概括。 Zbl 1499.68043号 奥马尔·阿穆萨;塞巴斯蒂安·莫德谢姆;保罗·莫德斯蒂;卢卡·维甘诺 1 2015 有状态协议组成。 Zbl 1496.68065号 安德烈亚斯·赫斯。;塞巴斯蒂安·莫德谢姆。;阿希姆·D·布鲁克。 1 2018 使用字母-贝塔隐私规范化和证明投票协议的隐私属性。 Zbl 1496.68136号 塞巴斯蒂安·贡德隆;塞巴斯蒂安·莫德谢姆 1 2019 使用字母-贝塔隐私规范化和证明投票协议的隐私属性。 Zbl 1496.68136号 塞巴斯蒂安·贡德隆;塞巴斯蒂安·莫德谢姆 1 2019 有状态的协议组成。 Zbl 1496.68065号 安德烈亚斯·赫斯。;塞巴斯蒂安·莫德谢姆。;阿希姆·D·布鲁克。 1 2018 Alice和Bob：协调正式模型和实现。 Zbl 1434.68294号 奥马尔·阿穆萨;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 2 2015 安全协议的类型化和组合性：对几何碎片的概括。 Zbl 1499.68043号 奥马尔·阿穆萨;塞巴斯蒂安·莫德谢姆;保罗·莫德斯蒂;卢卡·维甘诺 1 2015 懒惰的移动入侵者。 Zbl 1390.68280号 塞巴斯蒂安·莫德谢姆;弗莱明·尼尔森;尼尔森、汉内·里斯 1 2013 用于安全协议符号分析的开源定点模型检查器。 Zbl 1252.68193号 塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 4 2009 安全的假名频道。 Zbl 1481.94077号 塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 三 2009 协议验证中模型之间的关系。 Zbl 1146.68345号 塞巴斯蒂安·莫德谢姆 1 2008 安全WS-ReliableMessaging场景的符号和密码分析。 Zbl 1180.68037号 迈克尔·巴克斯;塞巴斯蒂安·莫德谢姆;比吉特·普菲茨曼;卢卡·维甘诺 1 2006 用于自动验证互联网安全协议和应用程序的AVISPA工具。 Zbl 1081.68523号 A.阿曼多。;D盆地。;Y.Boichut。;Y.契瓦利埃。;康帕尼亚，L。;J.库埃拉。;Hankes Drielsma，P。;P.C.海姆。;O.库什纳伦科。;J.曼托瓦尼。;Mödersheim，S。;冯·奥海姆，D。;Rusinovitch，M。;J·圣地亚哥。;M.图鲁阿尼。;维甘诺，L。;维格纳龙，L。 53 2005 代数入侵者推论。 Zbl 1143.94339号 戴维·巴恩斯;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 6 2005 用于安全协议分析的离线猜测的形式化。 兹比尔1108.68455 保罗·汉克斯·德里尔斯玛;塞巴斯蒂安·莫德谢姆;卢卡·维甘诺 4 2005 重新审查了ASW协议：统一视图。 Zbl 1272.68056号 保罗·汉克斯·德里尔斯玛;塞巴斯蒂安·莫德谢姆 1 2005 AVISS安全协议分析工具。 Zbl 1010.68795号 亚历山德罗·阿曼多;戴维·巴恩斯;Bouallagui，迈赫迪;亚尼克·骑士;卢卡·孔帕尼亚;塞巴斯蒂安·莫德谢姆;迈克尔·鲁西诺维奇;马修·图鲁阿尼;卢卡·维甘诺;劳伦·维格纳龙 三 2002 所有引用出版物 前5名被引用出版物 全部的 前5名131位作者引用 11 斯特凡尼德劳恩 8 维罗尼克·科尔蒂尔 6 史蒂夫·克雷默 6 塞巴斯蒂安·亚历山大·莫德谢姆 5 卢卡·维甘诺 4 David A.Basin。 4 克雷默斯，Cas J.F。 三 文森特·雪瓦尔 三 亚尼克·骑士 三 帕斯卡·拉福卡德 三 凯瑟琳·梅多斯。 三 米歇尔·鲁西诺维奇 2 马蒂尔德·阿尔诺 2 毛里西奥·阿亚拉·林科恩 2 布鲁诺·布兰切特 2 卡洛斯·卡莱罗 2 伊利亚诺·塞维萨托 2 瑟·特凡·乔巴赫 2 休伯特·科蒙·隆德 2 卢卡·孔帕尼亚 2 高，韩 2 托马斯·杰奈特 2 亚伦·D·贾加德。 2 丹尼斯·卢吉兹 2 绍克·莫 2 萨沙拉多米罗维奇 2 拉尔夫·萨西 2 安德烈·斯克洛夫 2 格雷厄姆·斯蒂尔 2 蔡乔凯 2 沃林斯基，博格丹 1 马丁·阿巴迪 1 佩德罗·阿多 1 奥马尔·阿穆萨 1 苏珊娜·安多瓦 1 迈托·阿拉皮尼斯 1 亚历山德罗·阿曼多 1 阿尔萨克，维赫姆 1 蒂格兰·阿瓦内索夫 1 库沙尔·巴别尔 1 迈克尔·巴克斯 1 大卫·巴尔德 1 弗朗西斯科·贝拉迪内利 1 詹保罗·贝拉 1 纳杰斯·本·拉杰布 1 穆赫贝丁·贝里玛 1 卡尔蒂基扬·巴尔干 1 阿比舍克省比什哈瓦特 1 博迪，恰拉 1 尤罕·博伊库特 1 阿希姆·D·布鲁克。 1 亚历山德罗·布鲁尼 1 马尔科·卡博尼 1 罗伯托·卡蓬 1 张廷毅 1 泽维尔·尚特里 1 纳伦德拉·S·乔达里。 1 雪莲骑士 1 罗伯特·J·科尔文。 1 阿努帕姆·达塔 1 埃里克·P·德文克。 1 迪加诺，皮尔保罗 1 安特·德里克 1 伊曼纽尔·D’Osualdo 1 詹妮克·德雷尔 1 玛丽·杜弗洛特 1 查尔斯·杜梅尼 1 穆罕默德·恩纳巴乌伊 1 塞尔达尔·埃尔巴图尔 1 圣地亚哥埃斯科瓦尔 1 伊利耶斯·法尔科内 1 Mehran S·法拉。 1 玛丽贝尔·费尔南德斯 1 里卡多·福卡迪 1 塞德里克·Fornet 1 罗萨里奥·朱斯托利西 1 克里斯蒂安·戈斯汀 1 博格丹·格罗扎 1 舒巴姆·古普塔 1 伊恩·海斯。 1 海姆，皮尔雷·科里尔 1 安德烈亚斯·赫斯。 1 卢卡赫希 1 海因里希·霍尔德根 1 佩德拉姆·霍塞尼 1 Hind伊德里西 1 罗曼·贾维尔 1 Temesghen Kahsai 1 阿里·卡西姆 1 米歇尔·凯勒 1 奥尔加·库什纳伦科 1 米罗斯·库考斯基 1 拉尔夫·库斯特斯 1 亚辛·拉赫内奇 1 劳德，皮特 1 刘朝梁 1 刘大明 1 阿莱西奥·洛穆西奥 1 弗拉米尼娅·卢西奥。 1 安德鲁·马歇尔。 …还有31位作者 全部的 前5名17篇连载文章中引用 8 理论计算机科学 7 信息与计算 4 自动推理杂志 三 系统设计中的形式化方法 2 程序设计中的逻辑和代数方法杂志 1 计算机程序设计科学 1 符号计算杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 塔特拉山脉数学出版物 1 应用非经典逻辑杂志 1 逻辑与代数程序设计杂志 1 萨达纳 1 形式化推理杂志 1 RAIRO公司。理论信息学及其应用 1 对称 1 应用数学与计算力学杂志 在3个字段中引用 61 计算机科学（68至XX） 48 信息与通信理论、电路（94-XX） 6 数学逻辑和基础（03-XX） 按年份列出的引文