A Dynamic Non-interference Trust Chain Model Based on Security Process Algebra
Trust Chain is the key technology of Trusted Computing. For lack of comprehensive theoretical model of Trust Chain, A dynamic Trust Chain Model is proposed based on Security Process Algebra and Non-interference. Then, give the formal description and proof of the model. Finally, Modeling Intel TXT ac...
Saved in:
| Main Authors: | , , |
|---|---|
| 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!
|