A Formal Model of Trust Chain based on Multi-level Security Policy
Trust chain is the core technology of trusted computing. A formal model of trust chain based on finite state automata theory is proposed. We use communicating sequential processes to describe the system state transition in trust chain and by combining with multi-level security strategy give the defi...
Saved in:
Main Authors: | Xiangying, Kong (Author), Yi, Zhuang (Author), Xiaoxing, Wang (Author) |
---|---|
Format: | EJournal Article |
Published: |
Institute of Advanced Engineering and Science,
2014-01-01.
|
Subjects: | |
Online Access: | Get fulltext |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
A Dynamic Non-interference Trust Chain Model Based on Security Process Algebra
by: Wang, Xiaoxing, et al.
Published: (2014) -
Role-based Trust Management Model in Multi-domain Environment
by: Guo, Xianchen, et al.
Published: (2012) -
Multi-level cyber security system for VANET
by: Naeem Yasir, Muntadher, et al.
Published: (2020) -
Systematic literature review on designing trust-based security for WSNs
by: Anwar, Raja waseem, et al.
Published: (2019) -
Design secure multi-level communication system based on duffing chaotic map and steganography
by: Abd, Aliaa Sadoon, et al.
Published: (2022)