马修·尧姆
人员信息
优化列表
2020年–今天
2022 [j7] 艾玛德·贝拉迪 , 马修·尧姆 , Valérie Viet Triem Tong公司 , 吉尔斯·盖特 :
PWNJUTSU:一种数据集和语义驱动的方法,用于撤回攻击活动。 IEEE传输。 Netw公司。 服务。 管理。 19 ( 4 ) : 5252-5264 ( 2022 ) 【d1】 艾玛德·贝拉迪 , 马修·尧姆 , Valérie Viet Triem Tong公司 , 吉尔斯·盖特 :
PWNJUTSU数据集。 IEEE数据端口 , 2022 2021 [j6] 艾玛德·贝拉迪 , 马修·尧姆 , 越南淡水河谷(Valérie Viet Triem Tong) , 吉尔斯·盖特 :
从TTP到IoC:威胁搜索的高级持久图。 IEEE传输。 Netw公司。 服务。 管理。 18 ( 2 ) : 1321-1333 ( 2021 )
2010 – 2019
2017 [第15条] 劳伦特·乔治特 , 马修·尧姆 , 弗雷德里克·特罗内尔 , 纪尧姆·皮奥勒 , Valérie Viet Triem Tong公司 :
在Linux中验证操作系统级信息流控制系统的可靠性。 FormaliSE@ICSE 2017 : 10-16 [第14条] 劳伦特·乔治特 , 马修·尧姆 , 纪尧姆·皮奥勒 , 油炸汤匙 , Valérie Viet Triem Tong公司 :
Linux处理并发系统调用和共享内存的信息流跟踪。 SEFM公司 2017 : 1-16 2014 [第13条] 马修·尧姆 , 塞奥·洛朗 :
形式方法与离散数学教学。 F侧 2014 : 30-43 2013 [第12条] 马修·尧姆 , Radoniaina Andriatsimandefitra公司 , Valérie Viet Triem Tong公司 , 卢多维奇·梅 :
安全状态与安全执行——从访问控制到流控制。 ICISS公司 2013 : 148-162 2012 [j5] 马修·尧姆 , Valérie Viet Triem Tong公司 , 纪尧姆·希特 :
高加索地区浮油信息的特殊化和监测。 技术科学。 信息类 31 ( 6 ) : 713-742 ( 2012 ) [第11条] 达米安·多利盖兹 , 马蒂厄·久姆 , 雷诺德·里奥博奥 :
通过在面向对象的编程环境中混合程序、规范和证明来开发安全系统:FoCaLiZe环境中的一个案例研究。 血浆 2012 : 9 [第10条] 马修·尧姆 :
安全策略的语义比较:从访问控制策略到流属性。 IEEE安全与隐私研讨会 2012 : 60-67 2011 【c9】 托尼·布迪耶 , Horatiu Cirstea公司 , 马修·尧姆 , 赫莱内·基什内尔 :
安全策略的正式规范和验证。 FPS(FPS) 2011 : 148-163 【c8】 马修·尧姆 , Valérie Viet Triem Tong公司 , 卢多维奇·梅 :
基于流的访问控制解释:检测非法信息流。 ICISS公司 2011 : 72-86 2010 【c7】 马修·尧姆 :
安全规则 与 安全属性。 ICISS公司 2010 : 231-245
2000 – 2009
2008 [j4] 马修·尧姆 , 查尔斯·莫里塞特 :
联合国反腐败干部。 技术科学。 信息类 27 ( 8 ) : 951-976 ( 2008 ) 【c6】 莱昂内尔·哈比卜 , 马修·尧姆 , 查尔斯·莫里塞特 :
Bell&LaPadula和RBAC模型的形式比较。 IAS公司 2008 : 3-8 2005 [j3] 大卫·德拉哈耶 , 马修·尧姆 , 维吉尔·普雷沃斯托 :
Coq,un outil pour l’ensignement(笑)。 DESS Dédevelopment de logiciels srs的经验不足。 技术科学。 信息类 24 ( 9 ) : 1139-1160 ( 2005 ) 【c5】 马修·尧姆 , 查尔斯·莫里塞特 :
访问控制模型的正式化和实施。 国际贸易中心(1) 2005 : 703-708 2003 【c4】 凯瑟琳·杜布瓦 , J.格兰吉洛 , 马修·尧姆 :
前胎的利用率:统一体系FoC。 JFLA公司 2003 : 63-75 2002 [注2] 马修·尧姆 :
逻辑程序设计的最大不动点语义。 J.日志。 计算。 12 ( 2 ) : 321-342 ( 2002 ) 2000 【c3】 马修·尧姆 :
逻辑编程和共归纳定义。 CSL公司 2000 : 343-355 [c2] 马修·尧姆 :
Preuves infinies en Programmation logique公司。 JFPLC公司 2000 : 33-48
1990 – 1999
1999 【b1】 马蒂厄·久姆 :
对编程逻辑的贡献。 法国Champs-sur-Marne的巴黎技术公司, 1999 [j1] 马修·尧姆 :
归纳结构微积分中SLD分辨率的完全形式化。 J.汽车。 原因。 23 ( 3-4 ) : 347-371 ( 1999 ) 1997 【c1】 马修·尧姆 :
SLD-résolution dans le calcul des construction归纳法的形式化。 JFPLC公司 1997 : 277-