SeCSE software Downloads
The SeCSE development environment is available as an open source reference implementation (BSD licence) at the web-address http://sourceforge.net/projects/secse/ in the Sourceforge.NET web site.
The SeCSE prototypes can be also found in the links below.