编辑配置文件（在新选项卡中打开） Mjölsnes，Stig Frode 合著者距离 作者ID： mjolsnes.stig-frod公司 发布日期： Mjölsnes，Stig F。;Mjölsnes，Stig Frode 已编制索引的文档： 4出版物自2008年以来，包括1本书 合著者： 10位合著者具有3联合出版物 184位合作作者 全部的 前5名合著者 1 单作者的 1 苏珊娜·安多瓦 1 科林·博伊德（Colin A.Boyd）。 1 克雷默斯，Cas J.F。 1 赫尔曼·加尔特兰 1 克里斯蒂安·戈斯汀 1 布丽塔·黑尔 1 绍克·莫 1 奥利米德，鲁珊德拉·佛罗伦萨 1 萨沙拉多米罗维奇 1 道格拉斯·斯特比拉 系列 1 信息与计算 1 离散数学及其应用 领域 三 信息与通信理论、电路（94-XX） 2 计算机科学（68至XX） 1 量子理论（81-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用13中的次13文件 引用人▼ 年份▼ 安全协议的组合验证框架。 兹比尔1147.68389 苏珊娜·安多瓦;Cremers，卡斯;克里斯蒂安·戈斯汀;绍克·莫;Mjölsnes，Stig F。;萨沙拉多米罗维奇 8 2008 从无状态到有状态：应用于TLS的通用身份验证和认证加密构造。 Zbl 1332.94086号 科林·博伊德;布丽塔·黑尔;Mjölsnes，Stig Frode;道格拉斯·斯特比拉 4 2016 对基本cMix设计的攻击：关于承诺和随机部分检查的必要性。 Zbl 1410.94070号 赫尔曼·加尔特兰;Mjølsnes，Stig F。;Olimid，Ruxandra F。 1 2017 对基本cMix设计的攻击：关于承诺和随机部分检查的必要性。 Zbl 1410.94070号 赫尔曼·加尔特兰;Mjölsnes，Stig F。;Olimid，Ruxandra F。 1 2017 从无状态到有状态：应用于TLS的通用身份验证和认证加密构造。 Zbl 1332.94086号 科林·博伊德;布丽塔·黑尔;Mjölsnes，Stig Frode;道格拉斯·斯特比拉 4 2016 用于安全协议的组合验证的框架。 Zbl 1147.68389号 苏珊娜·安多瓦;Cremers，卡斯;克里斯蒂安·戈斯汀;绍克·莫;Mjölsnes，Stig F。;萨沙拉多米罗维奇 8 2008 所有引用出版物 前5名被引用出版物 全部的 前5名37位作者引用 2 David A.Basin。 2 斯特凡尼德劳恩 2 塞巴斯蒂安·亚历山大·莫德谢姆 2 卢卡·维甘诺 1 鲍尔，马修·斯蒂芬 1 亚历山大·博尔德雷瓦 1 阿希姆·D·布鲁克。 1 卡洛斯·卡莱罗 1 罗希特·查达 1 大卫·乔姆 1 陈珊 1 雪莲骑士 1 维罗尼克·科尔蒂尔 1 克雷默斯，Cas J.F。 1 达斯，德巴乔蒂 1 乔里·德·鲁伊特 1 让·保罗·德加布里埃莱 1 马克·费希林 1 费利克斯·Günther 1 约书亚·D·古特曼。 1 安德烈亚斯·赫斯。 1 路易斯·胡格宁·杜米坦 1 马修·贾吉尔斯基 1 克里斯蒂安·简森 1 法里德·贾瓦尼 1 塞缪尔·杰罗 1 卡拉季奇，武卡辛 1 凯特，阿妮凯特 1 安娜·克拉斯诺娃 1 史蒂夫·克雷默 1 伊拉克利斯列奥蒂亚迪斯 1 凯瑟琳·梅多斯。 1 克里斯蒂娜·尼塔·罗塔鲁 1 拉莫斯，詹姆 1 莱恩，马克·德莫特 1 阿兰·谢尔曼。 1 马赫什·维斯瓦纳坦 3篇连载文章中引用 2 密码学杂志 2 系统设计中的形式化方法 1 理论计算机科学 在3个字段中引用 11 信息与通信理论、电路（94-XX） 8 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文