- 授权协议: 未知
- 开发语言:
- 操作系统: 未知
- 软件首页: http://autofuzz.sourceforge.net/
- 软件文档: http://autofuzz.sourceforge.net/documentation.html
软件介绍
AutoFuzz是一个开放源代码的fuzzing框架，它提供的核心功能能自动地了解网络协议并测试/fuzz网络协议实施的安全缺陷。框架被分为两个主要的部分：协议规范的提取和fuzzing。协议规范提取是通过构造它的FSA和利用简单的网络跟踪提取个体的语法信息来了解网络协议。跟踪可以由外部导入数据或者使用内置的代理服务器。FSA被用于引导fuzzer通过两个节点的通信过程并维持整个fuzzing的进程。
介绍内容来自 http://www.pulog.org/tools/1671/AutoFuzz_8336/
The Lambda Calculus, Its Syntax and Semantics . Revised Edition
H.P. Barendregt / North Holland / 1985-11-15 / USD 133.00
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical impr......一起来看看 《The Lambda Calculus, Its Syntax and Semantics . Revised Edition》 这本书的介绍吧!
