Paragon: Programming with Information Flow Control (Demo)

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security Pub Date : 2014-07-28 DOI:10.1145/2637113.2637122

Niklas Broberg, B. V. Delft, David Sands

引用次数: 0

Abstract

We demonstrate Paragon, a Java-based programming language with integrated information-flow control. We show how the use of information-flow policies combined with encapsulation allows for simple yet powerful and flexible policy libraries tailored to the needs of a particular application or system.

查看原文本刊更多论文

范例:信息流控制编程(演示)

我们将演示Paragon，这是一种基于java的编程语言，具有集成的信息流控制。我们将展示如何将信息流策略与封装结合使用，从而实现简单但功能强大且灵活的策略库，以满足特定应用程序或系统的需求。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security

自引率

0.00%

发文量