[prev in list] [next in list] [prev in thread] [next in thread] 

List:       cap-talk
Subject:    [cap-talk] Type checking capability security policies
From:       David Barbour <dmbarbour () gmail ! com>
Date:       2014-05-07 16:51:28
Message-ID: CAAOQMStiZNgsU36f1q=d3V+23QGhdmcJtNsSrH9pWFXn+2L_RQ () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


A paper recently posted to LtU.

Arxiv summary

Drossopoulou and Noble argue persuasively for the need for a means to
express policy in object-capability-based systems. We investigate a
practical means to realize their aim via the Curry-Howard isomorphism.
Specifically, we investigate representing policy as types in a behavioral
type system for the RHO-calculus, a reflective higher-order variant of the
pi-calculus.

http://lambda-the-ultimate.org/node/4952
http://arxiv.org/abs/1307.7766

[Attachment #5 (text/html)]

<div dir="ltr"><div><span style="color:rgb(0,0,0);font-family:&#39;Lucida \
Grande&#39;,helvetica,arial,verdana,sans-serif;font-size:14px;line-height:20.15999984741211px">A \
paper recently posted to LtU.</span></div><div><span \
style="color:rgb(0,0,0);font-family:&#39;Lucida \
Grande&#39;,helvetica,arial,verdana,sans-serif;font-size:14px;line-height:20.15999984741211px"><br>
 </span></div><div><span style="color:rgb(0,0,0);font-family:&#39;Lucida \
Grande&#39;,helvetica,arial,verdana,sans-serif;font-size:14px;line-height:20.15999984741211px">Arxiv \
summary</span></div><div><span style="color:rgb(0,0,0);font-family:&#39;Lucida \
Grande&#39;,helvetica,arial,verdana,sans-serif;font-size:14px;line-height:20.15999984741211px"><br>
 </span></div><div><span style="color:rgb(0,0,0);font-family:&#39;Lucida \
Grande&#39;,helvetica,arial,verdana,sans-serif;font-size:14px;line-height:20.15999984741211px">Drossopoulou \
and Noble argue persuasively for the need for a means to express policy in \
object-capability-based systems. We investigate a practical means to realize their \
aim via the Curry-Howard isomorphism. Specifically, we investigate representing \
policy as types in a behavioral type system for the RHO-calculus, a reflective \
higher-order variant of the pi-calculus.</span><span \
style="color:rgb(0,0,0);font-family:&#39;Lucida \
Grande&#39;,helvetica,arial,verdana,sans-serif;font-size:14px;line-height:20.15999984741211px"><br>
 </span></div><div><span style="color:rgb(0,0,0);font-family:&#39;Lucida \
Grande&#39;,helvetica,arial,verdana,sans-serif;font-size:14px;line-height:20.15999984741211px"><br></span></div><div><font \
color="#000000" face="Lucida Grande, helvetica, arial, verdana, sans-serif"><span \
style="font-size:14px;line-height:20.15999984741211px"><a \
href="http://lambda-the-ultimate.org/node/4952">http://lambda-the-ultimate.org/node/4952</a></span></font><br>
 </div><div><font color="#000000" face="Lucida Grande, helvetica, arial, verdana, \
sans-serif"><a href="http://arxiv.org/abs/1307.7766">http://arxiv.org/abs/1307.7766</a><br></font></div><span \
style="color:rgb(0,0,0);font-family:&#39;Lucida \
Grande&#39;,helvetica,arial,verdana,sans-serif;font-size:14px;line-height:20.15999984741211px"><div>
 <span style="color:rgb(0,0,0);font-family:&#39;Lucida \
Grande&#39;,helvetica,arial,verdana,sans-serif;font-size:14px;line-height:20.15999984741211px"><br></span></div></span><br></div>




_______________________________________________
cap-talk mailing list
cap-talk@mail.eros-os.org
http://www.eros-os.org/mailman/listinfo/cap-talk


[prev in list] [next in list] [prev in thread] [next in thread]