Asymptotic behaviour of the survival probabilities in an inhomogeneous semi-Markov model for the migration process in credit risk
- P.-C.G. Vassiliou, A. Vasileiou
- Linear Algebra and its Applications, vol 438, no…
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.