An object has a security policy attached to it. In the screenshot, x is owned by Alice, who allows Bob access, and y is owned by both Alice and Chuck. The compiler can prevent "y = x" based on policy.
Note the hyperlink to the project url (JIF = java with information flow).
An object has a security policy attached to it. In the screenshot, x is owned by Alice, who allows Bob access, and y is owned by both Alice and Chuck. The compiler can prevent "y = x" based on policy.
Note the hyperlink to the project url (JIF = java with information flow).