Re: [racket-users] W7 security kernel / object capaiblities in Racket

2018-08-05 Thread Christopher Lemmer Webber
Matthew Flatt writes: > At Sun, 05 Aug 2018 11:40:25 -0400, Christopher Lemmer Webber wrote: >> Eventually I would like to write a multiplayer game in Racket where >> users can write and execute code safely [...] >> >> In a sense, it would sound as if Racket's #lang support would be perfect >> for

Re: [racket-users] W7 security kernel / object capaiblities in Racket

2018-08-05 Thread Matthew Flatt
At Sun, 05 Aug 2018 11:40:25 -0400, Christopher Lemmer Webber wrote: > Eventually I would like to write a multiplayer game in Racket where > users can write and execute code safely [...] > > In a sense, it would sound as if Racket's #lang support would be perfect > for this. But in fact there is

[racket-users] W7 security kernel / object capaiblities in Racket

2018-08-05 Thread Christopher Lemmer Webber
It's not urgent, but an item on my TODO list is to port Jonathan Rees' W7 Security Kernel to Racket. Basically this is an object capability security system based on the lambda calculus (as Scheme). Object capability security is a security system which applies the principle of least authority on a