汤姆·科菲
人员信息
SPARQL查询
优化列表
期刊文章
2019 [公元12年] 安卡·尤尔克特 , 汤姆·科菲 , 雷内·多扬(Reiner Dojen) :
一种新的安全协议攻击检测逻辑,具有独特的故障发现功能,可用于新鲜攻击和交叉会话攻击。 IEEE传输。 可靠的安全。 计算。 16 ( 6 ) : 969-983 ( 2019 ) 2014 [公元11年] 安卡·D·尤尔克特 , 汤姆·科菲 , 雷内·多扬(Reiner Dojen) :
安全协议的设计准则,以防止重播和并行会话攻击。 计算。 安全。 45 : 255-273 ( 2014 ) 2013 [j10] Ioana Lasc公司 , 雷内·多扬(Reiner Dojen) , 汤姆·科菲 :
检测针对使用动态共享机密的安全协议的去同步攻击。 计算。 安全。 32 : 115-129 ( 2013 ) [公元9年] 安卡·D·尤尔克特 , 汤姆·科菲 , 雷内·多扬(Reiner Dojen) :
使用基于逻辑的验证工具建立和修复安全协议弱点。 J.社区。 8 ( 11 ) : 795-805 ( 2013 ) 2011 [j8] Ioana Lasc公司 , 雷内·多扬(Reiner Dojen) , 汤姆·科菲 :
对抗针对移动卫星通信认证和密钥协议的干扰攻击。 计算。 选举人。 工程师。 37 ( 2 ) : 160-168 ( 2011 ) [j7] Ioana Lasc公司 , Reiner Dojen公司 , 汤姆·科菲 :
移动卫星通信中具有再同步能力的相互认证协议。 国际期刊信息安全。 私人。 5 ( 1 ) : 33-49 ( 2011 ) [j6] 范张(音译) , Reiner Dojen公司 , 汤姆·科菲 :
无线传感器网络节点上不同AES实现的性能和能耗比较分析。 Int.J.Sens.Networks公司 10 ( 4 ) : 192-201 ( 2011 ) 2005 [j5] 雷内·多扬(Reiner Dojen) , 汤姆·科菲 :
分层证明树的概念及其在安全协议验证自动化中的应用。 ACM事务处理。 信息系统。 安全。 8 ( 三 ) : 287-311 ( 2005 ) 2003 【j4】 汤姆·科菲 , 雷内·多扬(Reiner Dojen) , 托马斯·弗拉纳根 :
形式验证:安全协议设计中必不可少的一步。 计算。 网络 43 ( 5 ) : 601-618 ( 2003 ) [j3] 托马斯·纽伊 , 汤姆·科菲 :
混合安全协议的形式化验证逻辑。 计算。 系统。 科学。 工程师。 18 ( 1 ) : 17-25 ( 2003 ) 1998 [注2] 汤姆·科菲 , 托马斯·纽 :
实现最小知识识别和签名方案。 计算。 安全。 17 ( 三 ) : 253-264 ( 1998 ) 1996 [j1] 汤姆·科菲 , Puneet Saidha公司 :
具有强制性收据证明的不可抵赖性。 计算。 Commun公司。 版次。 26 ( 1 ) : 6-17 ( 1996 )
会议和研讨会文件
2014 [第14条] 安卡·尤尔克特 , 汤姆·科菲 , 雷内·多扬(Reiner Dojen) :
使用基于逻辑的验证工具预防和检测重放攻击。 中国 2014 : 128-137 [第13条] 安卡·D·尤尔克特 , 汤姆·科菲 , 雷内·多扬(Reiner Dojen) :
安全协议中对抗并行会话攻击的设计要求。 太平洋标准时间 2014 : 298-305 2012 [第12条] 安卡·尤尔卡特 , 汤姆·科菲 , 雷内·多扬(Reiner Dojen) :
安全协议加密消息中的对称性-可被并行会话攻击利用的严重弱点。 ARES公司 2012 : 410-416 2009 [第11条] 雷内·多扬(Reiner Dojen) , 弗拉基米尔·帕斯卡 , 汤姆·科菲 :
针对端到端通信的移动安全协议的模拟攻击。 MobiSec公司 2009 : 278-287 2008 [第10条] 雷内·多扬(Reiner Dojen) , 安卡·尤尔克特 , 汤姆·科菲 , 科妮莉亚·格罗迪 :
关于在安全协议中建立和修复并行会话攻击。 国际数据中心 2008 : 239-244 【c9】 Reiner Dojen公司 , 范张(音译) , 汤姆·科菲 :
无线传感器网络基于簇的密钥管理协议的形式化验证。 政府间气候变化专门委员会 2008 : 499-506 【c8】 弗拉基米尔·帕斯卡 , 安卡·尤尔克特 , 雷内·多扬(Reiner Dojen) , 汤姆·科菲 :
使用模型检查器确定对密钥分发协议的并行会话攻击。 月收入 2008 : 150-155 2003 【c7】 汤姆·科菲 , 雷内·多扬(Reiner Dojen) , 托马斯·弗拉纳根 :
关于建立密码协议安全性的不同方法。 安全与管理 2003 : 637-643 【c6】 汤姆·科菲 , 雷内·多扬(Reiner Dojen) :
移动通信安全协议分析。 ISICT公司 2003 : 322-328 【c5】 汤姆·科菲 , 雷内·多扬(Reiner Dojen) , 托马斯·弗拉纳根 :
关于用于验证安全协议的模态逻辑的自动实现。 ISICT公司 2003 : 329-334 【c4】 托马斯·纽 , 汤姆·科菲 :
2G和3G无线通信的安全协议。 ISICT公司 2003 : 335-340 【c3】 汤姆·科菲 , Puneet Saidha公司 , 伯罗斯 :
分析具有强制接收证明的非否认通信协议的安全性。 ISICT公司 2003 : 351-356 【c2】 玛丽安·文图内克 , 汤姆·科菲 , 伊昂·萨洛米 :
支持Web的应用程序的基于策略的安全框架。 ISICT公司 2003 : 487-492 1992 【c1】 王卫军(Weijun Wang) , 汤姆·科菲 :
网络安全:全球安全链接的设计。 秒 1992 : 101-111
非正式出版物和其他出版物
2006 [i1] 米哈拉·迪安索鲁 , 克里斯蒂安·戈贾 , 克劳迪乌·安格尔 , 伊昂·萨洛米 , 汤姆·科菲 :
基于移动代理的电子学习环境中知识评估解决方案。 CoRR公司 abs/cs/0605033 ( 2006 )