地籍数据库的安全性

地籍数据库的安全性菲拉斯·哈利勒引用此版本：菲拉斯·哈利勒。地籍数据库的安全性。计算。法属波利尼西亚大学;法属波利尼西亚大学，2015年。法语。NNT：2015POLF0001。电话：01482905HAL ID：电话：01482905https://theses.hal.science/tel-01482905提交日期：2017年HAL是一个多学科的开放存取档案馆，用于存放和传播科学研究论文，无论它们是否被公开。论文可以来自法国或国外的教学和研究机构，也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaire一个人在一个人的生活中，一个人在一个人的生活中。PacI fIQUE ED 469博士学校GePaSud实验室他们是E由以下人员公开介绍和支持FirA s ELKHALIL2015年1月28日为了法属波利尼西亚大学博士系：科学学科：计算机科学专业：安全地籍数据库的安全性在Alban Gabillon教授和PatrickCapolsini博士的指导陪审团维贾伊·瓦拉达拉詹 澳大利亚麦格理大学教授报告员弗雷德里克·库彭斯法国布列塔尼电信教授报告员阿尔班·加比永法属波利尼西亚大学教授他是个混蛋。帕特里克·卡波尔法属波利尼西亚大学高级讲师Co-directeurdehse西尼白马超内法国南巴黎电信教授审查员本作品根据知识共享署名-非商业用途-共享4.0国际许可证的条款提供http://creativecommons.org/licenses/by-nc-sa/4.0/他的作品根据知识http://creativecommons.org/licenses/by-nc-sa/4.0/。"科学是对专家无知的理查德·费曼，《什么是科学》，1966年。致我父母vii确认文件首 先 ， 我 想 表 达 我 对 教 授 的 感 谢 弗 雷 德 里 克 · 库 彭 斯 和 教 授 VijayVaradharajan为审查和评论这份手稿的任务节省了一些宝贵的时间。我想感谢教授。Hakima Chaouchi同意成为评审团的一员并审查这篇论文。如果没有我的顾问教授的仔细指导，他的工作就永远不会完成。阿尔班·加比永。我非常感谢他富有洞察力的讨论、耐心、对细节的不懈关注以及他的科学精神，这些都深深地影响了我的个人和职业。他纯正的幽默感使他成为一个真正的快乐。感谢你支持我，相信我的工作，特别是当我严重和不可接受的怀疑它。我也非常感谢我的联合顾问Dr.帕特里克·卡波尔西尼。 他总是设法在他臭名昭著的繁忙日程表中找到时间来审查和讨论我的工作，确保它是一致的和连贯的。感谢你在这次旅行中提供的所有学术、后勤和行政帮助。我非常感谢GePaSud的所有同事欢迎我来到实验室。我特别感谢教授。实验室主任让-皮埃尔·巴里奥特（Jean-Pierre Barriot）感谢他提供的所有帮助，感谢我们围绕科学、物理学和空间的许多咖啡杯进行的所有精彩讨论。我还要感谢法属波利尼西亚计算机科学服务处GIS单元负责人EmmanuelBouniot和法属波利尼西亚房地产服务处地籍部主任Bertrand Malet的大力帮助，他们尽了最大努力确保我真正理解他们的问题。感谢你为我提供了所有必要的资源，加深了我对这一主题的理解。我还要感谢地理信息系统小组的Philippe Siquin和Tehei Taiore提供的技术援助。viii我要感谢法属波利尼西亚大学数学实验室GAATI的成员，感谢他们的帮助，特别是Dr.Gaëtan Bisson为所有富有成效的讨论。我永远感激博士。Bechara Al Bouna和教授Richard Chbeir对研究的热情让我重新思考了我的整个职业生涯。没有他们的支持和鼓励，我永远不会进入科学研究。我也很感谢我在塔希提岛遇到的所有朋友，他们让我的旅行变得非常愉快，特别是艾默里克·赫尔曼、乔纳森·塞拉菲尼和马丁·洛斯道，我和他们分享了许多伟大的时刻和漫长的乙醇引发的"哲学辩论" --如果有人能这样称呼他们的话当然，我永远不会忘记我的父母，尼古拉斯·卢瓦索和詹妮弗·格莱斯，他们的孤独使我成为一个快乐的露营者。Clara de Gaillande 、 Gaëlle Legras 、 Mathilde Menoud 和 Simon VanWyns-berge，感谢你们在撰写本文时容忍我偶尔在房子的每个房间里走一走。我无法形容我是多么高兴，我离开了可怕的洞穴，我曾经生活在。你是我的家人我在黎巴嫩亲爱的朋友们，他们从第一天起就一直支持我，在我写这篇论文的整个过程中，他们从地球的另一边帮助、娱乐和欢呼我：弗朗索瓦·扎德、拉米·阿瑙特和萨利姆·法耶德，谢谢你们。Elissa和Tarek你们不仅仅是朋友或兄弟姐妹什么都要感谢你。最后但并非最不重要的是，我永远欠我的父母，他们在生活中牺牲了这么多，忍受了生活在动荡的环境和严格的条件下的困难，只是为了确保我们--艾丽莎、塔里克和我--得到他们所能提供的最好的教育感谢你在情感上和经济上支持我完成这篇论文。菲拉斯ix摘要基于数量的让我们考虑一个由元素组成的集合集合的元素的集合只有在某个s il ，a v with 之后才被认为是机密的。因此，我们可以说，这是一个很好的例子，也是一个很好的例子。本文主要研究地籍数据库中的QBA控制问题这项工作是为了满足法属波利尼西亚外交部的需要我们被要求实施的安全策略使每个用户都有权知道哪个包裹的所有者，无论是什么包裹但是，此权限受到以下禁令的限制1. 特定区域内的所有者，以及2. 属于同一所有者的所有地块这些禁令中的每一项显然都与QBA类型的问题相对应在这份手稿中，我们首先开发了我们提出了我们的关系数据库模型的实现。我们的模型解决了几个具体问题：• 我们考虑了串通的可能性（当多个用户合作以规避安全策略• 我们讨论了区域的概念，并提出了两种基本类型的区域：区和优势区。x• 我们讨论了特定于地籍应用程序的更新的处理• 我们讨论了处理访问历史记录的最佳策略，以确保诚实的用户不会无限期地停留在一组图上，从而提高数据库的可用性和有用性在本文的最后一部分，我们介绍了一个基于我们的模型开发的QBA控制的地籍数据库应用程序原型我们详细介绍了显示"优势区"优于"区"的测试结果。特别是，我们表明采用"优势区"作为基本区域提高了数据可用性和QBA控制性能。xi摘要基于数量的聚合（QBA）控制与数据库中的不孕症控制密切相关，很少被科学界解决。让我们考虑一组元素。在大多数情况下，元素在之外的聚集被认为是不敏感的，而超过之外的聚集是cons id e e edsensivea nd应该是bep eve ntd。heroleofQ BA控制是确保的未封闭元素的数量小于或等于o，whe re。在本文中，我们研究了地籍数据库中的QBA问题他的工作解决了法属波利尼西亚房地产服务的实际需要这是一个很好的例子，可以让你知道数据库中任何包裹的所有者。然而，他的许可受到以下禁令的限制：用户不能获得1. 特定区域内所有地块的所有者，以及2. 属于同一所有者的所有地块。显然，每一项禁令都代表着一个独特的QBA问题。在这份手稿中，我们开发了一个执行第一次禁令的模型，然后展示了这项工作如何适应第二次禁令的执行。接下来，我们介绍了一个关系数据库的实现。我们的模型解决了以下几个方面：• 我们将串通行为（多个用户协作以传播安全策略）考虑在内。• 我们讨论了区域的概念，并提出了两个基本定义："区域"和"主区域"。xii• 我们讨论了特定于地籍应用程序的数据库更新及其对QBA控制的影响。我们提出了一个处理购买、出售、合并和拆分操作的方案。• 我们提出了一种策略来处理访问历史记录，以确保诚实的用户不会无限期地被锁定在一组可访问的包裹上，从而提高数据库的可用性和实用性在本手稿的最后，我们展示了我们开发的原型，以展示QBA控制，以及显示一个区域定义（"主区域"）相对于另一个区域定义（"区域"）的优势的基准我们表明，采用"主区域"增加了数据可用性，并提高了QBA控制执行算法的内容。确认文件七摘要九摘要十一算法列表十五图列表十七列表列表xx表列表二十一1引言11.1贡献. ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ...... ... ... ... ... ... ...101.2 手稿11的组织2 最新技术水平132.1 在线地籍142.2 推理控制172.3 聚合控制222.3.1 文献综述22xiv2.3.2 他的作品由Motro，Marks和Jajodia262.3.2.1 27型2.3.2.2 讨论30xiv内容3 HEMODEL313.1 定义333.2 安全政策353.3 执行PR1373.4 执行PR2434 实施安全策略454.1 实施PR1474.2 实施Pr2525 其他方面575.1 处理地籍更新595.1.1 Pr159中的突变5.1.2 Pr2中的突变5.2 重新设置访问权限625.3 推理通道655.3.1 来自外部知识的潜在推理渠道5.3.2 来自Pr1中拒绝访问的潜在推断通道。665.3.3 来自Pr2中拒绝访问的潜在推断通道。665.4认证685.5选择模型...................................................................................................6 法属波利尼西亚地籍申请表756.1 所需工作量766.2 认证786.3 PR 1、PR 2或两者？...............................................................................796.4 服务器端安全性807 HEPROTYPE817.1 用户界面837.2 图形生成86内容十五7.2.1 R树入门7.2.2 方法897.3 数据库917.4 服务器7.5 客户端8 基准978.1 可用性基准998.1.1 无主区域的可用性8.1.2 主要区域的可用性8.2 性能基准1068.2.1 带106区的QBA控制性能8.2.2 比较区和主区1109 结论1159.1 未来工作118附录地籍Experpt119示例Appen十BheModelofMMJa pplidtotheCadastre121附录C PL/SQL125中的强制脚本参考文献131算法列表1Motro、Marks和Jajodia模型2Pr151的QBA控制执行算法3Pr256的QBA控制执行算法4合并/拆分的更新算法（Pr1）615对算法2的修改，以计算主区域110号6用于地籍应用的Motro、Marks和Jajodia