搜索

[606] 2018-02-02_Deemon自动化CSRF安全检测框架

文档创建者：s7ckTeam
浏览次数：1
最后更新：2025-01-16
2018-02-02_Deemon自动化CSRF安全检测框架 D e e m o n : 自 动 化 C S R F 安 全 检 测 框 架 A r k T e a m   2 0 1 8 - 0 2 - 0 2 作 者 ： { W J N } @ A r k T e a m 原 文 作 者 ： G i a n c a r l o   P e l l e g r i n o ,   M a r t i n   J o h n s ,   S i m o n   K o c h   e t   a l .                       原 文 标 题 ： D e e m o n :   D e t e c t i n g   C S R F   w i t h   D y n a m i c   A n a l y s i s   a n d   P r o p e r t y   G r a p h s 原 文 会 议 ： 2 0 1 7   A C M   C o n f e r e n c e   o n   C o m p u t e r   a n d   C o m m u n i c a t i o n s   S e c u r i t y   ( C C S ) 原 文 链 接 ： h t t p s : / / d l . a c m . o r g / c i t a t i o n . c f m ? d o i d = 3 1 3 3 9 5 6 . 3 1 3 3 9 5 9 跨 站 请 求 伪 造 （ C S R F ） 是 一 种 十 分 重 要 的 W e b 应 用 程 序 漏 洞 ， 在 O W A S P   T o p   T e n 上 一 直 榜 上 有 名 ， 但 却 很 少 受 到 研 究 人 员 和 安 全 测 试 社 区 的 关 注 ， 迄 今 为 止 ， C S R F 漏 洞 的 检 测 仍 主 要 由 人 工 操 作 实 现 。 基 于 这 样 的 背 景 ， 本 文 研 发 了 首 个 针 对 C S R F 漏 洞 的 自 动 化 安 全 监 测 框 架 — — D e e m o n 。 通 过 将 执 行 痕 迹 、 数 据 流 等 W e b 应 用 程 序 的 多 方 面 信 息 统 一 映 射 为 一 个 属 性 图 ， 通 过 图 遍 历 的 方 法 挖 掘 潜 在 的 易 受 攻 击 的 操 作 。 文 末 实 验 部 分 利 用 1 0 个 流 行 的 开 源 W e b 应 用 程 序 来 评 估 D e e m o n ， 发 现 了 1 4 个 以 前 未 知 的 可 被 利 用 的 C S R F 漏 洞 ， 从 而 证 明 了 D e e m o n 的 有 效 性 。 本 文 将 C S R F 攻 击 分 成 两 类 ： a u t h e n t i c a t e d   C S R F （ 后 文 简 称 a C S R F ） 和 l o g i n   C S R F 。 （ 1 ） 认 证 型 C S R F ： 已 经 存 在 一 个 受 害 者 和 目 标 网 站 之 间 的 s e s s i o n 。 （ 2 ） 登 陆 型   C S R F ： 不 存 在 一 个 受 害 者 和 目 标 网 站 之 间 的 s e s s i o n ， 攻 击 者 的 目 标 就 是 以 攻 击 者 自 己 的 证 书 登 录 。 本 文 主 要 关 注 对 认 证 型 C S R F 的 检 测 ， 并 做 如 下 定 义 ： 如 果 w e b 应 用 程 序 接 受 具 有 以 下 属 性 的 H T T P 请 求 ， 则 w e b 应 用 程 序 存 在 a C S R F 漏 洞 ： （ P 1 ） 传 入 请 求 会 导 致 W e b 应 用 程 序 的 安 全 相 关 状 态 更 改 。 （ P 2 ） 该 请 求 可 以 由 攻 击 者 可 靠 地 创 建 ， 即 攻 击 者 知 道 所 有 需 要 的 参 数 和 请 求 的 值 。 （ P 3 ） 请 求 在 用 户 的 有 效 认 证 上 下 文 内 处 理 。 图 1   a C S R F 攻 击 表 1   文 章 技 术 难 点 及 其 解 决 方 法
图 2   D e e m o n 流 程 图 1 .   从 W e b 应 用 程 序 正 在 运 行 的 实 例 中 重 新 生 成 用 户 操 作 作 为 模 型 的 初 始 输 入 ； 2 .   通 过 传 感 器 生 成 包 含 网 络 痕 迹 和 函 数 调 用 痕 迹 的 应 用 程 序 执 行 痕 迹 ； 3 .   从 这 些 痕 迹 中 ， D e e m o n 推 断 出 一 个 简 单 模 型 （ F S M 和 数 据 流 模 型 ） 的 组 合 模 型 — — 属 性 图 ； 4 .   D e e m o n 使 用 模 型 查 询 来 挖 掘 生 成 安 全 测 试 和 一 个 o r a c l e （ 出 度 等 于 1 的 S Q L 查 询 的 抽 象 分 析 树 根 的 集 合 ， 用 于 确 定 是 否 发 生 了 与 安 全 有 关 的 状 态 转 换 ） ； 5 .   在 W e b 应 用 程 序 中 运 行 上 一 步 中 生 成 的 安 全 测 试 ； 6 .   最 后 ， 针 对 o r a c l e 预 测 测 试 结 果 来 检 测 C S R F 漏 洞 。 值 得 关 注 的 是 ， D e e m o n 流 程 图 中 所 有 步 骤 都 是 自 动 生 成 的 。
图 3   属 性 图 表 2   属 性 图 说 明 阅 读 原 文
回复

举报

高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

使用Markdown编辑器编辑 使用富文本编辑器编辑

Archiver| 手机版| 小黑屋|
Powered by Discuz! X3.4 Copyright © 2001-2020, Tencent Cloud. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理