Formal analysis of usage control policies

Authors:
Boulares Ouchenne;Ousmane Koné
Affiliations:
University of PAU, IUT de Mont de Marsan, France;University of PAU, IUT de Mont de Marsan, France
Venue:
Proceedings of the 4th international conference on Security of information and networks
Year:
2011

Citing 3
Cited 0

A theory of timed automata

Theoretical Computer Science
Organization based access control

POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Nomad: A Security Model with Non Atomic Actions and Deadlines

CSFW '05 Proceedings of the 18th IEEE workshop on Computer Security Foundations

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper offers a set of translation rules to generate timed automata from the NOMAD specification language. We detail the rules and the process of the translation. The ultimate goal of this systematic translation is to perform model-checking over the translated specification.