Liberalizing Dependency

Details Liberalizing Dependency Liberalizing Dependency

2010-04-07

arxiv.org/abs/1004.1211v1

Computer Science

Programming Languages

Scientific paper

The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming language settings. This notion of dependency is closely related to the notion of information flow in security; it is sensitive not only to data dependencies that cause explicit flows, but also to control dependencies that cause implicit flows. In this paper, we study variants of DCC in which the data and control dependencies are decoupled. This allows us to consider settings where a weaker notion of dependency---one that restricts only explicit flows---may usefully coexist with DCC's stronger notion of dependency. In particular, we show how strong, noninterference-based security may be reconciled with weak, trace-based security within the same system, enhancing soundness of the latter and completeness of the former.

Affiliated with

Also associated with

No associations

Rating

Liberalizing Dependency does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Liberalizing Dependency, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Liberalizing Dependency will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-712852