Contracts and communication channels in Shill [was Re: Shill: capability-based shell]
Anton Burtsev <[email protected]>
| Newsgroups | gmane.comp.capabilities.general |
|---|---|
| Message-ID | <[email protected]> |
Hi Scott, I was looking at how Shill uses contracts. I didn't read any of the original "contracts" papers, but they look interesting. I'm not sure I understand how contracts help me to control the flow of capabilities in case when functions actively exchange capabilities through communication channels (this is a common case for me). It seems that contracts only control function invocations but not communication interfaces, correct? Thank you, Anton On Thu, Sep 25, 2014 at 12:45:58PM -0400, Scott Moore wrote: > Hi all, > I'm part of the team working on Shill. I'm happy to answer any questions > and we're very excited to hear what cap-talk thinks! > Cheers, > Scott > > On Thursday, September 25, 2014, Tony Arcieri <[email protected]> wrote: > > > Apologies if this has been discussed before but It's New To Me(TM), and > > relevant to the recent "Shellshock" escapades with bash: > > > > http://shill.seas.harvard.edu/ > > > > -- > > Tony Arcieri > > > _______________________________________________ > cap-talk mailing list > [email protected] > http://www.eros-os.org/mailman/listinfo/cap-talk