User Tools

Site Tools


Flow Safe Project

  • to add to w2sp submission over time
    • multiple principals
    • sparse semantics
    • permissive upgrade
    • (above at least in formal evaluation rules, perhaps in proof)
    • info flow in implementation, perhaps via an API where different eval strategies can be plugged in
    • channels (in theory and implementation)
    • mock up attacks (in theory and implementation)
    • policy API, policy – both confidentiality and integrity - labels on code
    • infer upgrades (in implementation)
    • declassification policy
    • for/in construct?
    • exceptions/errors?
projects/flowsafe.txt · Last modified: 2010/03/25 05:12 by taustin