Collax Business Server is an all-in-one Linux server for small- and medium-sized businesses. It delivers all the important network services within a heterogeneous business environment for communication, infrastructure, compliance, groupware, and storage, all in a reliable and secure way which is easy to manage. It also provides essential security functions such as firewalling and virus and spam filtering, to protect against hacker attacks, viruses, and unsolicited email messages.
PolarSSL is a light-weight cryptographic and SSL/TLS library written in C. PolarSSL makes it easy for developers to include cryptographic and SSL/TLS capabilities in their (embedded) applications with as little hassle as possible. Loose coupling of the components inside the library means that it is easy to separate the parts that are needed, without needing to include the total library. PolarSSL is written with embedded systems in mind and has been ported on a number of architectures, including ARM, PowerPC, MIPS, and Motorola 68000. The source is written to have very loose coupling, enabling easy integration of parts in other software projects. Very loosely coupled cryptographic algorithms for MD2, MD4, MD5, SHA1, SHA-256, SHA-512, AES, Camellia, DES, Triple DES, ARC3, and RSA are included.
HN_htusers is a PHP class to manage users and groups in Apache Web server environments, with optional extra information for users. It uses Apache-style MD5-crypt passwords. It uses built-in CSS styles. Validation (min-max length, allowed characters) is built-in for all entries. The locking mechanism is robust. It includes examples of how to test your setup, how to embed a dynamic form for changing passwords into existing HTML code, using HTTP-Auth with .htaccess files in directories, and using HTTP-Auth without .htaccess files but with PHP.
MyCCM-HI is a component framework developed by Thales targeting mission- and safety-critical distributed real time embedded software. It integrates components written in C, and generates code for handling inter-component communication, threads (priorities, periods), locks, and mode-based reconfiguration. In addition to the software components, MyCCM-HI takes as input a model of the application in a so-called Component-Oriented Architecture Language.
The Mobius verification environment supports the development of specifications, programs, and proofs of their security properties. It will support both source code and bytecode level verification, and be able to produce the output necessary for the generation of PCC certificates.
Catalyst::Authentication::Store::DBI is a Perl module that implements the Catalyst::Authentication API using Catalyst::Model::DBI. It uses DBI to allow applications to authenticate users against a database and it provides support for roles with Catalyst::Plugin::Authorization::Roles.