Actually, from your list, we have 2. Argus does not offer pitbull for linux.
They say they will (spoke to them at length about this).
http://www.wirex.com/ ImmunixOS, linux+Stackguard/formatguard/subdomain/cryptomark/etc, reasonably mature (I have a beta, works quite well).
Sure, it works well if you only want to protect against BufferOverflows and even then it doesn't do it that well. Properly written exploits can bypass the canary and still work properly see:
Bzzzzzt. Wrong answer =). You should learn what subdomain and cryptomark and the rest are =).
I'm still looking at the software they're offering here. A decent ACL implementation is somthing I've been waiting for in linux for a while. Not to mention a good system accounting/auditing toolset.
ACL under linux sucks ass right now. there are ways to audit syscalls at the kernel level, that's a lot of data though, of questionable use.
Its interesting to see how many "secure linux" projects have been started and how many are actually still around. Most of them have given up "due to lack of interest from the community".
Heh. You think that's bad try something simpler like writing documentation on it. I've gotten 0 community support, so I basically gave up.
Sorry for bringing this to suse-security.
Actually I thought it was quite valid.
-miah
-Kurt