Distributed Computing Security Model Based on Type System

Aiming at the problem of access control in distributed computing security model, a secure Seal calculus based on hybrid type detection is proposed. In order to realize the security policy that low security level information in the multi-level security system can only flow to equal or higher security levels, it establishes a security system with security level for Seal calculus, and uses static type detection to realize fine particle size access control efficiently. To solve the practical problems of channel control and security power reduction, an effective dynamic transformation framework based on mandatory type transformation is proposed. The static detection and dynamic detection are organically integrated to form a unified security model, which can not only guarantee the security of distribute computing, but also have good availability.