Re: [friam] Re: UX resources for object capabilities
Marc Stiegler <[email protected]> Wed, 4 Nov 2015 18:25:40 -0700
| Newsgroups | gmane.comp.capabilities.general |
|---|---|
| Message-ID | <CAK=cCVU1yA_CgtW=uTx-hHNA=3pdEMB6-+2jraZj7L9NxMnR-A@mail.gmail.com> |
In the ocap systems I have been a part of building, the distinction between user and administrator blurs almost completely out of existence. The administrator is a user with great authority, and he creates users with less authority; users with less authority can create a user with any amount of authority up to the amount the creating user holds. 3 interesting examples for your audience: http://www.hpl.hp.com/techreports/2006/HPL-2006-116.pdf Is a tech report about using the ocap language Emily, built atop OCAML using an ocap verifier, to build sash, a framework for writing least-privilege bash commands. This is a small but complete example of a powerbox and apps that are invoked with user-specified very limited authority. The powerbox holds all the user's authority, the app gets only what the user specifies, designated in a way that any unix bash user can understand even though no acls are involved: the act of designation is the act of authorization, so you're mainly doing what you'd do with bash commands mainly different in that that bash commands are launched with vast abusable power. This one may "sing" for your unix audience more easily than the other 2, they can actually read the code. https://www.youtube.com/watch?v=cJThfgXMBA4 Is a 2 minute video of the everyware desktop. So, the everyware desktop runs in a browser, and manages authorities all over the blinkin' web. But the principles are the same, and IMHO anyone who writes a new user desktop in this day and age should not be fooling around with desktops that govern only local authorities anyway. Anyway, the desktop in the demo is the user's visual representation of his powerbox that holds all his authorities over documents, chat threads, etc. This video shows an actual flow of authority from user to user (desktop to desktop) in a simple secure cooperation scenario. For people who think the distinction between administrator and user is important, it might be interesting to note that Homer is actually the root administrator for a full everyware system, and Madge could be either an account holder on that system, who got her desktop via a series of desktop sub-creations rooted in Homer, or could have her desktop on a different everyware system, we neither know nor care, because ocap authorities flow transparently user-to-user regardless of administrative boundaries. http://decideright2.com Is the location where you can create an account for the DecideRight2 decision analysis application. Your home page -- reached via an ocap OAuth bookmark -- is once again a visual representation of your powerbox, i.e., it contains all your system authorities; in this case each authority is an ocap reference to a decision analysis document. Each document enables grant of limited authority to edit and/or read a single decision. While least directly relevant to the unix OS problem, it has the merit that this one you can actually operate live, to see how it all works. --marcs On Mon, Nov 2, 2015 at 8:09 PM, William ML Leslie < [email protected]> wrote: > "User driven access control: rethinking permission granting in modern > operating systems (Oakland 2012)" is a great place to start. From > there, many of the cited papers are handy too. > > You can get the paper from __apf__'s list here: > > > https://docs.google.com/document/d/1N5uTePbaHGGz70nX5zc28Cil026f80oR_ypAxo5ar40/edit > > -- > William Leslie > > Notice: > Likely much of this email is, by the nature of copyright, covered > under copyright law. You absolutely MAY reproduce any part of it in > accordance with the copyright law of the nation you are reading this > in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without > prior contractual agreement. > _______________________________________________ > cap-talk mailing list > [email protected] > http://www.eros-os.org/mailman/listinfo/cap-talk > _______________________________________________ cap-talk mailing list [email protected] http://www.eros-os.org/mailman/listinfo/cap-talk