- 授权协议: 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 性能,简化安全规则和协议描述。
Types and Programming Languages
Benjamin C. Pierce / The MIT Press / 2002-2-1 / USD 95.00
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of typ......一起来看看 《Types and Programming Languages》 这本书的介绍吧!
