JFwadmin is a Java 2 high-level X11 tool for ipchains. The GUI displays easy-to-understand services. Features include scripts generation, firewall save and restore, automatic interface and IP address and routes detection, current firewall configuration display, and handling of masq-modules and port-forwarding.
MCS MyRoute helps diagnose connectivity problems with detailed network routing discovery and analysis, providing visibility to poor-performing networks and devices. It includes a Java applet that enables remote users to easily test connections from the MyRoute server. Essential diagnostic tools including traceroute, ping, reverse DNS, and whois are combined into a single graphical interface that analyzes Internet connections, reporting quick and essential data points for finding connectivity problems. An IP location database identifies the geographical location of IP addresses and Web servers, showing the path of an Internet connection on a global map.
Dr.Morena is a tool to confirm the rule configuration of a firewall. It inspects all the firewall rules that are currently in effect, and tests these rules by sending various kinds of test packets through the firewall. This allows you to confirm that the rules that you intend to be in effect are actually in effect.
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.
The Aegis VM Project is an ongoing effort to develop a lightweight, secure virtual machine for executing Java bytecode. The VM is intended to be an extension framework for applications or devices that dynamically load and execute untrusted extensions. The Aegis VM will eventually feature a modular bytecode verification architecture, Proof Linking, which supports pluggable verification modules so that various static verification or analysis technologies can be integrated into the VM's dynamic linking process with minimal efforts. This benefit is achieved by allowing verification sessions to communicate with each other only through explicit formulation of proof obligations, the discharging of which is scheduled to happen at specific points of the dynamic linking process to protect the integrity of the VM. A generic framework for formulating, scheduling, and discharging proof obligations is built into the VM.