Paper Info
Title
CA-SPA: Balancing the Crosscutting Concerns of Governance and Autonomy in Trusted Software
Abstract
This paper contends that to address and balance the crosscutting concerns of governance and autonomy to produce trusted autonomic systems, a new control policy modelling methodology is required. The paper details the design required which exploit both the design-time specification of baseline policies, and runtime refinements of governance to guarantee and assure correctness, manageability, trust, and dependability for autonomic behaviour. To this end, a Concept Aided-Situation Prediction Action (CA-SPA) mechanism is specified and implemented to support this design. The paper concludes with general remarks concerning the evaluation and statements for further works including refinement of the design introduced in this paper.
Year
DOI
Venue
2006
10.1109/AINA.2006.120
AINA (2)
Keywords
Field
DocType
concept aided-situation prediction action,runtime refinement,general remark,autonomic behaviour,design-time specification,baseline policy,crosscutting concern,paper detail,trusted software,new control policy,crosscutting concerns,autonomic system,computer languages,formal verification,logic programming,mathematical model,data security,software engineering,computer architecture,formal specification,knowledge based systems,machine vision
Dependability,Data security,Corporate governance,Computer security,Computer science,Correctness,Formal specification,Risk analysis (engineering),Exploit,Formal methods,Formal verification,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-7695-2466-4-02
8
0.73
References 
Authors
1
2
Name
Order
Citations
PageRank
P. Miseldine1162.08
A. Taleb-Bendiab238348.64