Academy & Industry Research Collaboration Center
Language-based security is a mechanism for analysis and rewriting applications toward guaranteeing security policies. By use of such mechanism issues like access control by employing a computing base would run correctly. Most of security problems in software applications were previously handled by this component due to low space of operating system kernel and complicacy. These days this task by virtue of increasing space of OS applications and their natural complicacy is fulfilled by novel proposed mechanisms which one of them is treated as security establishment or using programming languages techniques to apply security policies on a specific application. Language-based security includes subdivisions such as In-lined Reference Monitor, Certifying Compiler and improvements to Type which would be described individually later.