A Dynamic Non-interference Trust Chain Model Based on Security Process Algebra

Wang, Xiaoxing; Kong, Xiangying; Chen, Xuebing

doi:10.11591/telkomnika.v12i1.3206

Cited by 1 publication

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There are some other approaches to model software trustworthiness. In [12,13], trust models based on the process algebra and evidence theory were proposed, and in [14], a trust model based on software behaviorism was presented. All these models represent the authors' own understanding and definition of the concept of trust, but they do not reflect the nature of the run-time interaction between software entities.…”

Section: Introductionmentioning

confidence: 99%

Analysis of system trustworthiness based on information flow noninterference theory

Kong

Chen

Zhuang

2015

J. of Syst. Eng. Electron.

View full text Add to dashboard Cite

The trustworthiness analysis and evaluation are the bases of the trust chain transfer. In this paper the formal method of trustworthiness analysis of a system based on the noninterference (NI) theory of the information flow is studied. Firstly, existing methods cannot analyze the impact of the system states on the trustworthiness of software during the process of trust chain transfer. To solve this problem, the impact of the system state on trustworthiness of software is investigated, the run-time mutual interference behavior of software entities is described and an interference model of the access control automaton of a system is established. Secondly, based on the intransitive noninterference (INI) theory, a formal analytic method of trustworthiness for trust chain transfer is proposed, providing a theoretical basis for the analysis of dynamic trustworthiness of software during the trust chain transfer process. Thirdly, a prototype system with dynamic trustworthiness on a platform with dual core architecture is constructed and a verification algorithm of the system trustworthiness is provided. Finally, the monitor hypothesis is extended to the dynamic monitor hypothesis, a theorem of static judgment rule of system trustworthiness is provided, which is useful to prove dynamic trustworthiness of a system at the beginning of system construction. Compared with previous work in this field, this research proposes not only a formal analytic method for the determination of system trustworthiness, but also a modeling method and an analysis algorithm that are feasible for practical implementation.

show abstract

Section: Introductionmentioning

confidence: 99%