I 'm doing research on security policy models ( BIBA , Clark Wilson etc ) . How do I implement the security models ? is there any tools or applications that are appropriate to implement the security model?
FreeBSD supports BIBA data integrity policies: http://www.freebsd.org/cgi/man.cgi?mac_biba
I have developed a reversible anonymiser based on the extensible access control markup language (XACML), which supports multiple security levels when anonymising/encrypting XML data. It might be useful as a platform for doing research on security policy models (see: http://reversible.anonymiser.org).