"TOMOYO Linux"@cs .