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.
KeywordsDistributed computing Seal calculus Type system
This work is supported by the Key project of science and technology research in Guangxi education (No. 2013ZD021), the innovation team project of of xiangsihu youth scholars of Guangxi University For Nationalities, the Application Research Program of 2016 the Guangxi province of China young and middle-aged teachers basic ability promotion project (No. KY2016YB133), the Research Program of 2014 Guagnxi University for Nationalities of China (No. 2014MDYB029), and the Research Program of 2014 Guagnxi University for Nationalities of China (No. 2014MDYB028).
- 2.Pasquier, T.F.J.M., Singh, J., Bacon, J.: Managing big data with information flow control. SIGARCH Comput. Archit. News 14(9), 721–731 (2014)Google Scholar
- 3.Bake, D.B.: Fortresses built upon sand. In: Proceedings of the New Security Paradigms Workshop, pp. 148–153 (1996)Google Scholar
- 6.Nardelli, F.Z.: Types for seal calculus. Master thesis (2000)Google Scholar
- 10.Li, Q., Yuan, Z.-X.: Permission type system for internal timing information flow in multi-thread programs. Comput. Sci. 41(3), 163–168 (2014). (in Chinese)Google Scholar