网络监控软件 Haka

码农软件 · 软件分类 · 浏览器/JS引擎 · 2019-04-05 13:59:53

软件介绍

Haka 是一个面向安全语言的开源软件,它可以描述协议并将安全策略运用到捕获流量上面。同时,Haka 也一个可视化实时监控网络流量的工具,可使用在 KibanaElasticsearch 中。

包的捕获来源:

信息包过滤使用各种流量来源,包括:
capture
协议语法:

通过描述在 Haka 上的消息,让引擎解析。

haka.grammar.new("icmp", function ()
    packet = record{
        field('type',     number(8)),
        field('code',     number(8)),
        field('checksum', number(16)),
        field('payload',  bytes())
    }

    export(packet)end)


新协议状态机:

描述你的内部状态和转换,让 Haka 引擎跟踪它们。
state_machine

支持模块化、可扩展设计:

在 Haka 中内部和外部api都记录在案,让任何人都能很容易地添加新的协议,捕获方法,记录下沉等。
modular1

支持集成器调试:

支持反跟踪,插入断点并检查Lua代码

buggy


未来 Haka 将专注于改善 Haka 性能,简化安全规则和协议描述。

本文地址:https://codercto.com/soft/d/2915.html

计算机程序的构造和解释

计算机程序的构造和解释

Harold Abelson、Gerald Jay Sussman、Julie Sussman / 裘宗燕 / 机械工业出版社 / 2004-2 / 45.00元

《计算机程序的构造和解释(原书第2版)》1984年出版,成型于美国麻省理工学院(MIT)多年使用的一本教材,1996年修订为第2版。在过去的二十多年里,《计算机程序的构造和解释(原书第2版)》对于计算机科学的教育计划产生了深刻的影响。第2版中大部分重要程序设计系统都重新修改并做过测试,包括各种解释器和编译器。作者根据其后十余年的教学实践,还对其他许多细节做了相应的修改。 海报:一起来看看 《计算机程序的构造和解释》 这本书的介绍吧!

XML 在线格式化
XML 在线格式化

在线 XML 格式化压缩工具

UNIX 时间戳转换
UNIX 时间戳转换

UNIX 时间戳转换

RGB CMYK 转换工具
RGB CMYK 转换工具

RGB CMYK 互转工具