- 授权协议: MPL
- 开发语言: C/C++
- 操作系统: iOS
- 软件首页: http://www.haka-security.org/
软件介绍
Haka 是一个面向安全语言的开源软件,它可以描述协议并将安全策略运用到捕获流量上面。同时,Haka 也一个可视化实时监控网络流量的工具,可使用在 Kibana 和 Elasticsearch 中。
包的捕获来源:
信息包过滤使用各种流量来源,包括:
协议语法:
通过描述在 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 引擎跟踪它们。
支持模块化、可扩展设计:
在 Haka 中内部和外部api都记录在案,让任何人都能很容易地添加新的协议,捕获方法,记录下沉等。
支持集成器调试:
支持反跟踪,插入断点并检查Lua代码
未来 Haka 将专注于改善 Haka 性能,简化安全规则和协议描述。
计算机程序的构造和解释
Harold Abelson、Gerald Jay Sussman、Julie Sussman / 裘宗燕 / 机械工业出版社 / 2004-2 / 45.00元
《计算机程序的构造和解释(原书第2版)》1984年出版,成型于美国麻省理工学院(MIT)多年使用的一本教材,1996年修订为第2版。在过去的二十多年里,《计算机程序的构造和解释(原书第2版)》对于计算机科学的教育计划产生了深刻的影响。第2版中大部分重要程序设计系统都重新修改并做过测试,包括各种解释器和编译器。作者根据其后十余年的教学实践,还对其他许多细节做了相应的修改。 海报:一起来看看 《计算机程序的构造和解释》 这本书的介绍吧!
