Nomad: a security model with non atomic actions and deadlines

摘要: Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient express properties such as availability obligations must be also considered. By contrast prohibitions, are often associated with deadlines bounded time requirements. In case, a violation only occurs if the obliged action performed before deadline. On other hand, when specifying high level policies, it convenient consider abstract non atomic actions. Since most access control mechanisms deal actions read or write, these decomposed into more basic ones. paper, we define formal model called Nomad privileges on This combines deontic temporal logics. Nomad, conditional deadlines. We formally analyze how can elementary