• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文OA文献 >Étude et mise en œuvre d'une méthode de détection d'intrusions dans les réseaux sans-fil 802.11 basée sur la vérification formelle de modèles
【2h】

Étude et mise en œuvre d'une méthode de détection d'intrusions dans les réseaux sans-fil 802.11 basée sur la vérification formelle de modèles

机译：基于模型形式验证的802.11无线网络入侵检测方法的研究与实现

页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Malgré de nombreuses lacunes au niveau sécurité, les équipements sans-fil deviennent omniprésents: au travail, au café, à la maison, etc. Malheureusement, pour des raisons de convivialité, de simplicité ou par simple ignorance, ces équipements sont souvent configurés sans aucun service de sécurité, sinon un service minimal extrêmement vulnérable. Avec de telles configurations de base, plusieurs attaques sont facilement réalisables avec des moyens financiers négligeables et des connaissances techniques élémentaires. Les techniques de détection d'intrusions peuvent aider les administrateurs systèmes à détecter des comportements suspects et à prévenir les tentatives d'intrusions. Nous avons modifié et étendu un outil existant (Orchids), basé sur la vérification de modèles, pour détecter des intrusions dans les réseaux sans-fil. Les attaques sont décrites de façon déclarative, à l'aide de signatures en logique temporelle. Nous avons tout d'abord développé et intégré, dans Orchids, notre propre module spécialisé dans l'analyse des événements survenant sur un réseau sans-fil 802.11. Par la suite, nous avons décrit, à l'aide de signatures, un certain nombre d'attaques, notamment, ChopChop - à notre connaissance, nous somme les premiers à détecter cette attaque -, ARP Replay, et la deauthentication flooding. Ces attaques ont ensuite été mises en oeuvre, puis détectées avec succès dans un environnement réel (trois machines: client, pirate et détecteur d'intrusion, plus un point d'accès). ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Sécurité, Détection d'intrusions, Réseaux sans-fil, Vérification de modèles.
机译：尽管存在许多安全漏洞，但无线设备正变得无处不在：在工作中，在咖啡馆，在家里等。不幸的是，出于用户友好性，简单性或简单的无知的原因，这些设备通常配置成没有任何安全服务，即使不是最低限度的服务，也非常脆弱。通过这种基本配置，可以用微不足道的财务手段和基本技术知识轻松进行多种攻击。入侵检测技术可以帮助系统管理员检测可疑行为并防止入侵尝试。我们已经基于模型验证修改并扩展了现有工具（Orchids），以检测无线网络中的入侵。使用时间逻辑中的签名以声明方式描述攻击。我们首先在Orchids中开发并集成了我们自己的模块，该模块专门用于分析802.11无线网络中发生的事件。随后，我们使用签名描述了许多攻击，包括ChopChop-据我们所知，我们是第一个检测到此攻击的攻击-ARP重播和取消身份验证泛洪。然后实施这些攻击，然后在真实环境（三台计算机：客户端，黑客和入侵检测器以及一个访问点）中成功检测到。关键字：安全，入侵检测，无线网络，模型验证。

著录项

  • 作者

    Ben Younes Romdhane;

  • 作者单位
  • 年度 2007
  • 总页数
  • 原文格式 PDF
  • 正文语种 {"code":"fr","name":"French","id":14}
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号