malice:Haskell框架提供用于拦截和修改网络流量的抽象和特定于协议的攻击

恶意 Malice是Haskell库，它提供抽象和特定于协议的攻击以拦截和修改网络流量。 它利用Haskell类型系统的功能来定义嵌入式DSL，以描述Eve和Mallory的动作。 实际上，它允许中间的男人或女人编写尽可能接近纯粹邪恶的代码。 Malice的灵感来自和 。 核心抽象 Monad变形金刚 Malice的核心是四个monad变压器： EndpointT VertexT EveT MalT EndpointT为流端点（例如套接字上的recv ）提供了一个缓冲接口，适合与Haskell的出色的解析器组合器和序列化库（如和。 它还提供了一种引发和捕获与协议相关的纯异常的方法。 VertexT使用流原始点扩展EndpointT （例如，在套接字上send ）。 它可以用作Alice（用于双向通信的节点，例如客户端或服务器）的抽象，也可以用作一个方向上的Mallory（修改