A *(programming language) of the *(C language) family for security research. It includes a _(linear| linear logic) _(type system) for managing resources: memory blocks, files, network connections, graphics contexts, and so forth. It also has a _(module) system and support for first-class functions with lexical closure and the ability to curry or partially-apply functions.

Types are annotated with keys representing _(capabilities|capability) of some sort. Each computation's state includes a set of "held" keys, which provide access to resources.

<ul class="implementations">
<li>The _(project home page| http://research.microsoft.com/vault/) at Microsoft Research.
</ul>