alevy/hails — Issue #1: Trusted External HTTP Library
Author: alevy
Created: 2011-12-21 02:17:10+00:00
State: open

A library for communicating with external HTTP libraries. The library should allow arbitrary external interactions while to sources above the caller's label:

- Before caller has read any labeled data, this is arbitrary sources on the web
- After caller has read labeled data, only allow if L_c leq L_domain. Therefore, data can be labeled "\/ domain" to allow it to be sent to a particular external web source.