Accession Number:

ADA622827

Title:

Dynamic Information Management and Exchange for Command and Control Applications, Modelling and Enforcing Category-Based Access Control via Term Rewriting

Descriptive Note:

Final rept. 24 Aug 2010-28 Feb 2015

Corporate Author:

KINGS COLL LONDON (UNITED KINGDOM)

Report Date:

2015-03-01

Pagination or Media Count:

8.0

Abstract:

The main goal of this project was to develop a new model of access control to facilitate the specification of policies in highly dynamic scenarios. The requirement was to have a mathematically well defined model so that properties of policies can be proven, and so that verifiably correct systems can be developed. We have achieved this general goal we have developed an expressive category-based metamodel of access control, which has a rewrite-based semantics allowing us to prove correctness properties of policies. Previously defined access control models are instances of our metamodel and in addition the metamodel encompasses distributed models, as well as federative policies where a global access control policy governing the federation is defined as a composition of local policies specified by individual members of the federation.

Subject Categories:

  • Information Science
  • Computer Programming and Software
  • Computer Systems Management and Standards
  • Command, Control and Communications Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE