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!
|
Be the first to leave a comment!