Abstract
The specifications of trusted computing are guidance for products.But securities of specifications themselves need to be verified.The chain of trust is the key technical method to assure system security and is the focus of security in trusted computing platform.Aiming at information flow issue on specification of chain of trust,this paper uses secure process algebra to model trust chain,and describes mutual relationships between entities by non deducibility on composition,and Abstracts the behavior and characters of specification of trust chain to multi-level secure inputs and outputs.After discussing associated relations of I/O of high level and low level,we analyzed the system of trust chain.Finally we put forward some conclusions and sounds prove.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have