转载 2016年08月30日 22:25:08

It is increasingly important for applications to protect the privacy and security of data. Unfortunately, it is often non-trivial for programmers to enforce privacy policies. We have developed Jeeves to make it easier for programmers to enforce information flow policies: policies that describe who can see what information flows through a program. Jeeves allows the programmer to write policy-agnostic programs, separately implementing policies on sensitive values from other functionality.

To implement programs adhering to information flow policies in state-of-the art systems, programmers must write checks and filters across the program. Jeeves is the first language that aims to factor these checks and filters out of the program, allowing the programmer to write them once alongside the program. While there exist approaches for checking that programs do not leak information, they do not automatically manage these policy checks. To use an analogy to memory management, the other approaches do something like what valgrind does for finding memory leaks, while Jeeves is the equivalent of a memory-managed language, but for information flow policies.

Just like Wooster's clever valet Jeeves in Wodehouse's stories, the Jeeves runtime does the hard work, automatically enforcing the policies to show the appropriate output to each viewer. We have implementations of Jeeves as embedded domain-specific languages in Scala, Python, and Haskell. We are looking at using Jeeves for web frameworks and other applications. Try it out!



来自非营利性Eclipse基金会的Eclipse IDE以其插件生态系统著称。Eclipse市场拥有海量插件可供下载,你可以通过插件定制自己的Eclipse。最近我在Eclipse市场闲逛,想看看能不...
  • vicyien
  • vicyien
  • 2013年06月26日 17:05
  • 468

COOL!使用 IntelliTrace 调试应用程序

使用 IntelliTrace 调试应用程序Justin Marks下载代码示例用户如何修复他们的代码中的 Bug?您设置一些断点、在调试器下运行程序、进行一点单步调试 – 并祈求能够轻而易举地发现问...
  • kissqw
  • kissqw
  • 2011年06月03日 16:50
  • 834

Cool Edit Pro 功能详解: Transform or Effect

Filters(滤波器)在它下面还有好多选项:       FFT Filter(FFT滤波器):这个滤波器使用起来还算简单。在对话框的图形窗口中你可以任意画出所需的滤波曲线,并且每个频率转...

JavaScript 效果 - so cool

So cool 转自: Simple Sudoku Solver 这是一个“数独游戏”,其在你游戏的过程中可以在空格处...

Cool Android Apis 整理(一)

 App开发者官网 Foreword 本文主要整理 Cool Android Apis。 整理来源 Dan L...
  • lsm135
  • lsm135
  • 2015年08月13日 11:23
  • 314

CF 700E Cool Slogans 线段树+后缀数组贪心求解

题目大意化简成我理解的题意,跟原题有点不一样! 给你一个长度为NN的字符串SS,定义一个字符串AA比另一些字符串BiB_i”酷”,当且仅当AA中有至少两个为BiB_i的子串(可以重叠,但不可以完全重...

[Android分享] ViewHolder模式超简洁写法,很cool!

ViewHolder是什么就不解释了。         大家通常怎么写ViewHolder呢? [mw_shl_code=java,true]        ViewHolder holder =...
  • nosxcy
  • nosxcy
  • 2015年01月15日 14:32
  • 577


一个很Cool的Idear->Python的尾递归优化 偶然在国外一个网站瞅到的,非常的酷,发出来共享一下。一般来说,Python和Java,C#一样是没有尾递归自动优化的能力的,递归调用受到调用...


底板.pdf Rays_ele 淘宝店铺 Cool51 开发板,带给不一样的学习路程! 管理员在2009...

【转】Cool Edit Pro 2.0 录音图解教程(转)

Cool Edit Pro 2.0 录音图解教程 首先,我们要做好准备工作。把你的耳机作为监听音箱(此步的意义就是说用耳机来 听伴奏音乐,否则在你录音时会录...