9 projects tagged "Security"
Updated 11 Apr 2011
ACL2
| Pop | 82.27 |
|---|---|
| Vit | 5.57 |
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 25 Feb 2008
BinarySEC
| Pop | 50.30 |
|---|---|
| Vit | 2.48 |
BinarySEC is an intelligent Web application firewall designed to suppress malicious traffic on Web sites and applications. Its artificial intelligence engine learns normal traffic and blocks malicious requests with very high accuracy. BinarySEC secures against a wide range of attacks, including cross-site scripting (XSS), SQL injection, command injection, PHP includes, parameter tampering, buffer overflow, directory traversal, attack obfuscation, and more. BinarySEC for Apache includes a graphical installer and a Web-based administration interface.
Updated 08 Sep 2004
CARE2X
| Pop | 133.87 |
|---|---|
| Vit | 2.50 |
Care2x (formerly Care 2002) is software for hospitals and health care organizations. It is designed to integrate the different information systems existing in these organizations into a single efficient system. It solves the problems inherent in a network of multiple programs that are incompatible with each other. It can integrate almost any type of services, systems, departments, clinics, processes, data, or communication that exist in a hospital. Its design can even handle non-medical services or functions like security or maintenance. All of its functions can be accessed with a Web browser, and all program modules are processed on the server side.
Updated 24 Feb 2001
ImSafe
| Pop | 33.17 |
|---|---|
| Vit | 1.00 |
ImSafe (Immune Security For your Enterprise) is a host-based intrusion detection tool. After a learning phase, it is able to detect changes in processes behavior, to detect buffer overflows, etc. It is implemented through a device driver (as a kernel patch) for the Linux kernel, but can also be run on other UNIX systems by using a "sensor" built upon strace.
Updated 11 Mar 2003
Invisible IRC Project
| Pop | 57.54 |
|---|---|
| Vit | 1.49 |
IIP (Invisible IRC Project) is Internet Relay Chat privacy software designed for anonymity and security. It acts as an advanced proxy between your IRC client and servers by utilizing an encrypted mixnet with fake traffic and 3- layered (user, relay, and broadcast) protection.
Updated 26 Oct 2002
OpenAI
| Pop | 120.35 |
|---|---|
| Vit | 2.94 |
The OpenAI site is centered around an Open Source project and community involving artificial intelligence. The project itself is the creation of a set of tools that are considered to be models of human intelligence or biomimicry. These tools are intended to be integrated into applications or used stand alone for research.
Updated 18 Oct 2006
Raiden
| Pop | 13.19 |
|---|---|
| Vit | 49.36 |
Raiden is an extremely lightweight and fast block cipher, developed using genetic programming. Its aims are to be simple enough to be remembered by heart and to be compact, highly portable, and light enough to be implemented in resource constrained environments. It was developed with the intention of being an alternative to TEA, with the same speed and without any of its known weaknesses.
Updated 27 Nov 2009
Script Identifier
| Pop | 45.17 |
|---|---|
| Vit | 2.45 |
Scriptid is a program and a library that can be used to determine whether a given text file contains code of a specified programming language. The current release can tell whether a file contains vbscript or not. It should be possible to extend this to any number of other languages. It is important to also download the latest neural network weights update file.
Updated 24 Jan 2010
Wiresoft ANA
| Pop | 65.08 |
|---|---|
| Vit | 1.00 |
Wiresoft ANA (Automated Network Agent), an Artificial Intelligence-based systems management service, automatically performs over 90% of Linux systems management tasks. It is a self-managing, self-learning system support service that provides constant maintenance and protection for Firegate Servers. ANA services include Software Updating and Integration, Intrusion Detection, Data Back-up and Disaster Recovery, Monitoring, and Alerting.
