With the increasing requirement of resource sharing, security has become a crucial item of application system. In order to improve the secure assurance of resource sharing, many researches have been carried out. Aiming at the efficiency and extreme ideal assumption problems of multi-party secure computation, this paper proposed a secure computation mechanism based on trusted computing platform. And a novel secure model with non-interference information flow and its formal proof are provided. At last, the relationship between this model and trusted computing platform is deeply discussed.
['Fei Yan', 'Huanguo Zhang', 'Bo Zhao']
A Secure Multi-party Computing Model Based on Trusted Computing Platform