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!
|
Internet
Get fulltext3rd Floor Main Library
Call Number: |
A1234.567 |
---|---|
Copy 1 | Available |