Trust analysis method of process behavior for data security exchange

摘要

Aiming at the problem of dynamic data security exchange behavior cannot be controlled, we put forward methods for trusted analysis of exchange process behavior based on noninterference. First, the exchange behavior modeling is formalized from the perspective of the exchange process. Then the exchange behavior trust constraint rules are given in different stages and different mode. Finally, exchange behavior trust judgment theorem are given and proved based on noninterference. The method can provide theoretical basis for the behavior analysis of data security exchange system.