Argus Systems Group, Inc. - Trusted platform e-commerce security. Argus secures internet e-commerce server transactions with PitBull.comPack trusted operating system technology on Solaris, AIX, Linux, UNIX platforms.
Secure Programming for Linux and Unix Howto - Design and implementation guidelines for writing secure programs for POSIX operating systems.
Mechanical ID - Software designed to create secure, pronounceable and random passwords of user-specified lengths. Java visual version for all operating systems.
Solaris Security Toolkit - The Solaris Security Toolkit, informally known as the JumpStart Architecture and Security Scripts (JASS) toolkit, provides a flexible and extensible mechanism to minimize, harden, assess, and secure Solaris Operating Environment systems.
Tweaki - Designed for all Windows operating systems, swiss army knife of utilities. Configure, secure and optimize Windows, Office and Internet Explorer.
Berkeley Lab Computer Protection Program: Resources - A six step guide to securing an Apache Web Server. Covers obtaining a secure version of the software, operating system security, enabling features, server configuration, CGI interface and patching vulnerabilities.
Stripped-OpenBSD - Effort to produce a reduced installation of OpenBSD for more secure usage in server environments.
Coyotos Secure Operating System - Direct EROS research successor; builds on those ideas and experiences; much code developed for EROS will migrate directly to Coyotos.
BRiX: Advanced Computing Environment - Fast, no-kernel, single address space, data-centric, preemptive multithreaded, persistent, secure, multi-user operating system, with Crush function-based programming safe-language. Some code available. [Open Source, Artistic]
Argus Systems Group, Inc. - Trusted platform e-commerce security. Argus secures internet e-commerce server transactions with PitBull.comPack trusted operating system technology on Solaris, AIX, Linux, UNIX platforms.
OpenBSD - Secure Free Operating System - OpenBSD aims to produce a For Free, secure multi-platform operating system that integrates strong cryptography including a current and complete IPSec implementation.
Insignia and Accelerated Technology Announce Licensing Agreement to Include Secure System Provisioning Client Software with the Nucleus Operating System - Lets phones using Nucleus RTOS be repairable and upgradeable over-the-air. [EDACafe.com]
Protectix Inc. - Firewalls, virtual private networking and remote security management using ProWall, a firewall appliance featuring a secure, embedded Linux operating system.
The OpenBSD Project - Multiplatform Ultra-Secure Operating System. Focus: portability, standardization, correctness, security, and cryptography.
Operating System Guides - Free guides published by the National Security Agency that guide Information Technology professionals in secure Windows 2000 Administration.
PGP/MIME - Secure E-mail Clients - Excellent list of email-clients that support PGP/MIME. It includes additional information such as operating system, plugins and PGP/MIME advantages in general.
Berkeley Lab Computer Protection Program: Resources - A six step guide to securing an Apache Web Server. Covers obtaining a secure version of the software, operating system security, enabling features, server configuration, CGI interface and patching vulnerabilities.
SmoothWall - A secure operating system that converts a redundant PC into a firewall and VPN gateway. It is webmanaged so no keyboard, monitor, or mouse on the device is needed. It supports Internal ISDN, all popular NICs, all popular connection types (Modem / ISDN / Cable / ADSL / USB ADSL / Ethernet) and also features a fully logging firewall, DHCP server, IPSEC VPN.
Verifying Operating System Security - A confined program is one unable to leak information to an unauthorized party or modify unauthorized meanses, an essential feature of any secure component based system. A proof of correctness of EROS architecture for confinement. [ResearchIndex] | 
