Home avatar

咸蛋超人的心情小屋

Practical Techniques for Searches on Encrypted Data

  • 发表: IEEE Symposium on Security and Privacy (CCF A, 2000)
  • 阅读目的: 了解它是怎么在密文中搜索的, 找网络数据包传输过程中如何检测被修改的idea.
  • 作者使用的思想为A XOR B XOR B = A, 但本文是第一篇提出在在密文中搜索. 略过所有数学证明和背景介绍.

Alice 要存储文档到Bob的服务器中, 此时只能存储密文, 因为Alice 并不放心Bob. 但这时, Alice 想要返回所有包含词’W’的文档, 这时就需要Bob在加密的文档中搜索.

ovs-dpdk系列配置实验-—1. 安装

安装过程参考自这里,有关于构建软件meson的安装补充

StackPi: New packet marking and filtering mechanisms for DDoS and IP spoofing defense

发在JSAC上, 作者:

把与我相关的部分做总结

本文提出StackPi, 一种新的数据包标记方案以及一种过滤机制。标记方案由两部分组成:基于栈的标记以及write-ahead标记。过虑机制中我们推导出一个用Pi标记进行过滤的最佳阈值策略。还提出PiIP过度器可用于检测网络协议欺骗攻击。

Efficient Forwarding Anomaly Detection in Software-Defined Networks

affliation and publication

  • author: Qi Li, Yunpeng Liu, Zhuotao Liu, Peng Zhang, Chunhui Pang
  • publication: TPDS
  • abs 本篇是FADE的翻篇版, 对FADE加强了然后发了个好的,主要思想:收集网络的rule path,并找到可以通过所有这些path的最小流,并用专用rule覆盖指定的rule path中的一些rule,再生成探针包并对专用rule统计从而得到当前是否有异常.

它将大数据背景引入本文

High-Speed Inter-domain Fault Localization

> C. Basescu, Y. -H. Lin, H. Zhang and A. Perrig, “High-Speed Inter-Domain Fault Localization,” 2016 IEEE Symposium on Security and Privacy (SP), 2016, pp. 859-877, doi: 10.1109/SP.2016.56.

文章发在SP上, 但读的时候很不好受, 很难受, 因为里面的英语表达写法很不习惯, 而且读的时候还总给人一种水时长的感觉, 挑与我相关的重点读了一下, 感觉还不错.

PROOFS OF WORK AND BREAD PUDDING PROTOCOLS (EXTENDED ABSTRACT)

这一篇是讲PoW基础的论文,没有具体说明PoW是什么,但给出了与PoW相关的一些定义和例子, 用于理解PoW还可. 整篇文章看完还是云里雾里的, 但大概理解了PoW其实相当于一个证明, 对于给定的一个hash函数, V知道这个函数的计算结果, 而P要做的是向V证明它知道这个计算结果所对应的原象. 因为hash算逆几乎不可能, 因此若原象是n位, P随便猜的几率为1/2^n.

EPIC: Every packet is checked in the data plane of a path-aware internet

这是一篇最近NSDI上路径验证相关的论文.看了好几遍但还是没进脑子,因此在此总结一遍.

终端主机如何根据AS的信息构造包的传输: 终端主机\(H_S\)首先从路径服务器中找到路径path(文中有个beacon的词,翻译为信标,估计跟路径差不多), 并将路径嵌入到数据包中,如下:

Dynamic Packet Forwarding Verification in SDN

affliation and publication

  • author: Qi Li, XiaoyueZou, Qun Huang, Jing Zheng, Patrick P.C.Lee

  • publication: IEEE Transactions on Dependable and secure computing, 2019

  • abs

传统方法无法应用到SDN中的原因: SDN 中的交换机功能太少. 作者提出: 使用控制器收集包和流的统计来判定包是否被修改, 交付路径是否正常; 并对该方法加以改进

mininet , ovs , ryu 分别进行源码安装

OVS版本是需要与linux内核版本对应的,否则会导致内核函数与OVS调用的函数不匹配,简称装不上。 https://docs.openvswitch.org/en/latest/faq/releases/ linux 内核版本查看uname -r

这里要注意,如果下载的是官网的压缩文件,则不用./boot.sh直接从./configure开始即可, 如果是在github上下载的,则需要./boot.sh再configure

Solving Minimum Path Cover on a DAG

介绍一个用于在有向无环图(DAG)中进行最小路径覆盖(Minimum Path Cover, MPC)的算法。文中给定了一个场景(交通网络中的运输问题),并将这个场景建模成MPC问题,最后给出了求解方法。