Extracting Conditional Confidentiality Policies

Michael Carl Tschantz and Jeannette M. Wing

  • The Paper
  • Longer Tech Report
  • The Implementation including the analyzed programs. Only tested on 32-bit Linux.

    The larger test cases are from

  • Sparse version 0.4.1
  • Privoxy version 3.0.8 (stable)

    Third-party packages and programing languages that our implementation uses are:

  • DrScheme (not included in download)
  • OCAML (not included in download)
  • CUDD (included in download)
  • CIL (included in download)
    You need to install all of these before our implementation will work. The implementation you download will include and install the last two for you. You must install the first two yourself.