Talk:Security type system

Untitled
This page is a good start, but security type systems are not just about information flow policies. It is possible to have type systems that enforce other security policies such as access control (either via ACLs or capabilities), and there are several examples.