Explicitly Timed Authorization Logic

A document describes explicitly timed authorization logic (nicknamed "η-logic"). In prior authorization logics, it is, variously, impossible or difficult to handle time explicitly; express security policies that involve complex, time-dependent relationships; or reason accurately about time. By enabling explicit mention of time, η-logic makes it easier to reason about time-dependent consequences of policies.