Find link

language:

Find link is a tool written by Edward Betts.

searching for Security type system 1 found (3 total)

Information flow (information theory) (2,376 words) [view diff] exact match in snippet view article

a security type system every expression carries both a type (such as boolean, or integer) and a security label. Following is a simple security type system