Token-based scanning of source code for security problems

• ITS4 
• http://www.cigital.com/its4/
• Flawfinder
• http://www.dwheeler.com/flawfinder/
• RATS
• Can't find its link.

GISToolkit

The GISToolkit is a free java based mapping toolkit, it has the ability to read geographical data from a variety of data sources and display that information to the user.   It can directly edit geographic features stored in databases to which it has access.

http://gistoolkit.sourceforge.net/

LDAP, Lightweight Directory Access Protocol

The Lightweight Directory Access Protocol (LDAP) (pronounced /ˈɛldæp/) is an application protocol for querying and modifying data of directory services implemented in Internet Protocol (IP) networks.


http://en.wikipedia.org/wiki/LDAP

OpenLDAP Software is an open source implementation of the Lightweight Directory Access Protocol.

The suite includes: slapd - stand-alone LDAP daemon (server) libraries implementing the LDAP protocol, and utilities, tools, and sample clients.

http://www.openldap.org/

RBAC, Role Based Access Control

In computer systems security, role-based access control (RBAC) is an approach to restricting system access to authorized users. It is a newer alternative approach to mandatory access control (MAC) and discretionary access control (DAC). RBAC is sometimes referred to as role-based security.


http://en.wikipedia.org/wiki/Role-based_access_control


The NIST RBAC model is a standardized definition of role based access control. Although originally developed by the National Institute of Standards and Technology, the standard was adopted and is copyrighted and distributed as INCITS 359-2004 by the International Committee for Information Technology Standards(INCITS). It is managed by INCITS committee CS1.


http://en.wikipedia.org/wiki/NIST_RBAC_model

A open source RBAC implementation

http://www.openrbac.de/

PACS, Picture Archiving and Communication System

In medical imaging, "electronic picture archiving and communication systems (PACS) have been developed in an attempt to provide economical storage, rapid retrieval of images, access to images acquired with multiple modalities, and simultaneous access at multiple sites. Electronic images and reports are transmitted digitally via PACS; this eliminates the need to manually file, retrieve, or transport film jackets. The universal format for PACS image storage and transfer is DICOM (Digital Imaging and Communications in Medicine). Non-image data, such as scanned documents, may be incorporated using consumer industry standard formats like PDF (Portable Document Format), once encapsulated in DICOM. A PACS consists of four major components: the imaging modalities such as CT and MRI, a secured network for the transmission of patient information, workstations for interpreting and reviewing images, and archives for the storage and retrieval of images and reports. Combined with available and emerging Web technology, PACS has the ability to deliver timely and efficient access to images, interpretations, and related data. PACS breaks down the physical and time barriers associated with traditional film-based image retrieval, distribution, and display.


http://en.wikipedia.org/wiki/Picture_archiving_and_communication_system
http://en.wikipedia.org/wiki/DICOM

http://www.rtstudents.com/pacs/free-dicom-viewers.htm
http://amide.sourceforge.net/

Lucene, Open-source search software

http://lucene.apache.org/

The Apache Lucene project develops open-source search software, including:

• Lucene Java, our flagship sub-project, provides Java-based indexing and search technology, as well as spellchecking, hit highlighting and advanced analysis/tokenization capabilities.
• Solr is our high performance enterprise search server, with XML/HTTP and JSON/Python/Ruby APIs, hit highlighting, faceted search, caching, replication, database integration, web admin and search interfaces.
• Lucene.Net is a source code, class-per-class, API-per-API and algorithmatic port of the Lucene Java search engine to the C# and .NET platform utilizing Microsoft .NET Framework. Lucene.Net is currently under incubation.
• PyLucene is a Python port of the the Lucene Java project.
• Open Relevance Project is a subproject with the aim of collecting and distributing free materials for relevance testing and performance.
• Lucy is a loose C port of Lucene Java, with Perl and Ruby bindings, currently in incubation.
• Droids is an intelligent robot crawling framework currently in incubation.

Verisoft Project

The Verisoft Project

http://www.verisoft.de

FM Wiki: Formal Methods

http://formalmethods.wikia.com/wiki/VL

GPH / Caanoo /

http://dev.fungp.co.kr/
http://en.wikipedia.org/wiki/GP2X_Caanoo