[cap-talk] building a model

[John Carlson]

I'm building a model of capability security based on keys, locks, doors, 
and spaces

A key opens one or more locks
    Skeleton/Master/Pass Keys
    Capability
A lock is opened by or operated by one or more keys
Keys are delivered with locks upon purchase or trade
Keys may be copied
Locks are installed on doors
A door has one or more locks preventing access
    Trademarks
A lock opens more than one door
A passageway has one or more doors
A door separates two spaces
There may be a directed graph of passageways with doors on edges
    Web-calculus?
A lock is unlocked with one key, and locked with another
    Sealer/Unsealer
A lock and a key have a complementary pattern
A locked room full of keys
Filing a key to make it a master key.
Keys may be carried between spaces and through doors

Have I left anything out?  How do these map to capability terminology?

John