User Tools

Site Tools


projects:flowsafe

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
projects:flowsafe [2010/03/24 16:37]
cormac
projects:flowsafe [2010/03/24 22:12] (current)
taustin
Line 11: Line 11:
     * policy API, policy -- both confidentiality and integrity - labels on code     * policy API, policy -- both confidentiality and integrity - labels on code
     * infer upgrades (in implementation)     * infer upgrades (in implementation)
 +    * declassification policy 
 +    * for/in construct?​ 
 +    * exceptions/​errors?​
projects/flowsafe.txt · Last modified: 2010/03/24 22:12 by taustin