BLP formalization study and implementation on buffer overflow
Ning Shen · Jisuanji gongcheng yu sheji · 2007
Buffer overflow is a kind of leak existed in many OS and software.It is used to execute harmful instruction,furthermore system privilege is stealed or do some nonlicet operation.The mechanism of buffer overflow from the point of view of security operating system is analyzed,buffer overflow with BLP model is formalized.Based on it,the BLP model is adjusted properly and the crisis of buffer overflow is removed on the level of security model.Finally,the adjusted BLP model on LSM is implemented(Linux security module).