SERAM: Security Reasoning Framework Code

Framework for security-related definition and reasoning.

Status: Abandoned

Brought to you by: honsintu

HTTPS access

File	Date	Author	Commit
branches	2013-03-06	allura	[r1] Initial commit
tags	2014-05-20	honsintu	[r27]
trunk	2015-03-04	adlange	[r39] - adjusted the build file