Cool!

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

https://projects.csail.mit.edu/jeeves/

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!





相关文章推荐

Cool Edit Pro 功能详解: Transform or Effect

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

最全资料整理, 教你如何用HEXO搭建十分cool的属于自己的网站

…足足部署了4天, bug层出不穷啊, 各种改, 现附上自己博客地址和效果图.我的网站—-liuzhixuan360.com 效果图: 网站优化还没做, 可能加载时间稍微长一点.正文下面我简单概述...

JavaScript 效果 - so cool

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

Cool Android Apis 整理(一)

 App开发者官网 http://www.inctech.cn Foreword 本文主要整理 Cool Android Apis。 整理来源 Dan L...

COOL!使用 IntelliTrace 调试应用程序

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

Beginners Level Course:Cool Shortcuts

谁不喜欢快捷键?答案是我的妻子。原因是我的快捷键经常使我们的旅行长度翻倍……无论如何,如果你将会在Linux命令行上浪费时间,我强烈的建议你学习一些简单的快捷键,这些快捷键能帮助你生活的更简单!   ...

让Linux看起来cool

让Linux看起来cool命令:cmatrix你可能看多好莱坞的电影‘黑客帝国’并陶醉于被赋予Neo的能看到在矩阵中任何事物的能力,或者你会想到一幅类似于‘Hacker’的桌面的生动画面。安装 cma...

集Backbone,Mustache,Bootstrap,JQuery于一身的DEMO--Cool Note

这里展示的是一个集合了Backbone,Mustache,Bootstrap,JQuery的DEMO 首先介绍一下这几个Lib Backbone Backbone supplies struct...

鸟音消澡声不求人:音频录制编辑软件COOL EDIT 教

软件这里有http://www.hm169818.com/viewthre ... &highlight=cool教程http://www.hm169818.com/viewthre ... &hig...

Android项目:Cool Weather酷欧天气(附源码)

最近看了郭霖大神的《第一行代码(第二版)》(第二行代码?),决定照着书中的样例做了一个Cool Weather的客户端,并进行了优化。 整理一下完成的思路,并附上部分代码和注释以及自己的理解。 ...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)