[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.

Sandro

> 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