[cap-talk] Capabilities in C# (revised)

Sandro Magi naasking at higherlogics.com
Sun Nov 5 08:51:09 CST 2006

Mark Miller wrote:
> I call anything else, "non-object causality". I'd certainly be happy
> to have better terminology. However, I only use the term "side
> channel" for non-overt causal channels. A Java mutable static variable
> is overt, but is a non-object-based causal channel.

As mentioned in my previous e-mail, you can view this as a member of a
singleton object. So the problem then becomes that the object is not
"confinable" as the VM makes it globally accessible.


> Ambient authority
> is also a form of non-object authority, but not all non-object
> authority is ambient.
> Further terminology distinctions:
> *Authority* includes only those effects that can be caused using overt
> causality. For effects that can be caused by overt or covert
> causality, I use "ability".
> Non-overt channels include both side-channels and covert channels. The
> difference between these is only whether the entity emitting the
> non-overt signal intends to be encoding the information that leaks
> over that channel.

More information about the cap-talk mailing list