27 projects tagged "Security"
Updated 01 May 2001
Portable Linux Auditing CD
| Pop | 56.77 |
|---|---|
| Vit | 66.34 |
PLAC is a business card sized bootable cdrom running linux. It has network auditing, disk recovery, and forensic analysis tools.
Updated 01 Feb 2011
httpforge
| Pop | 24.86 |
|---|---|
| Vit | 28.94 |
httpforge is a set of shell tools that let you manipulate, send, receive, and analyze HTTP messages. These tools can be used to test, discover, and assert the security of Web servers, apps, and sites. An accompanying Python library is available for extensions.
Updated 28 Feb 2011
Scapy
| Pop | 262.05 |
|---|---|
| Vit | 9.54 |
Scapy is a powerful interactive packet manipulation tool, packet generator, network scanner, network discovery tool, and packet sniffer. It provides classes to interactively create packets or sets of packets, manipulate them, send them over the wire, sniff other packets from the wire, match answers and replies, and more. Interaction is provided by the Python interpreter, so Python programming structures can be used (such as variables, loops, and functions). Report modules are possible and easy to make. It is intended to do about the same things as ttlscan, nmap, hping, queso, p0f, xprobe, arping, arp-sk, arpspoof, firewalk, irpas, tethereal, tcpdump, etc.
Updated 10 Jun 2011
Platform Independent Petri Net Editor
| Pop | 89.54 |
|---|---|
| Vit | 6.87 |
Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
Updated 04 Jun 2008
alph
| Pop | 90.59 |
|---|---|
| Vit | 6.36 |
alph implements and analyzes historical and traditional ciphers and codes, such as polyalphabetic, substitutional, and mixed employing human-reconstructable algorithms. It provides a pipe filter interface in order to encrypt and decrypt block text to achieve transparency. The program is meant to be used in conjunction with external programs that transfer data, resulting in transparent encryption or decryption of information. The program can thus be used as a mail filter, IRC filter, IM filter, and so on.
Updated 11 Apr 2011
ACL2
| Pop | 87.91 |
|---|---|
| Vit | 5.65 |
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
Updated 01 Feb 2010
zzuf
| Pop | 87.16 |
|---|---|
| Vit | 4.60 |
zzuf is a transparent application input fuzzer. Its purpose is to find bugs in applications by corrupting their user-contributed data, which frequently comes from untrusted sources on the Internet. It works by intercepting file and network operations and changing random bits in the program's input. zzuf's behavior is deterministic, making it easier to reproduce bugs.
Updated 06 Feb 2003
SPIKE
| Pop | 96.75 |
|---|---|
| Vit | 4.25 |
SPIKE is an attempt to write an API that helps reverse engineer new, unknown network protocols. It features several working examples.
Updated 22 Dec 2007
Burp proxy
| Pop | 108.74 |
|---|---|
| Vit | 3.79 |
Burp proxy is an interactive HTTP/S proxy server for attacking Web-enabled applications. It operates as a man-in-the-middle between the end browser and the target Web server, and allows the attacker to intercept, inspect, and modify the raw traffic passing in both directions. Text and hex editing may be performed on intercepted traffic. Downstream proxies are supported. Authentication may be done to downstream proxy and Web servers, using basic, NTLM, or digest authentication types.
Updated 05 Nov 2008
ESC/Java2
| Pop | 52.44 |
|---|---|
| Vit | 3.54 |
ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. It reasons about Java programs that have (optional) annotations written in JML.
