BLP怎么记

Classical BLP model is the theory basic of implementing multi level security in computer systems and is considered to basal security axiom, the model studies security in formal way by defining system, state, transform, rule and regarding the system as infinite state machine.

经典BLP模型是实现计算机系统多级安全的理论基础，被视作基本安全公理。BLP模型采用形式化方法，通过定义系统、状态、转换、规则等将系统描述为有穷状态机来研究其安全性。

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.

从安全操作系统的角度分析了堆栈溢出的原理，以BLP模型为工具对堆栈溢出进行了形式化并在此基础上适当调整了该模型，从安全模型的层次上消除了堆栈溢出的隐患。

From the introduction of the British guests, we know that BLP LLP is a wide-range international lawyer firm, and has established offices in London, Berlin, Hong Kong, Paris and Singapore.

通过来访的英国客人的介绍，我们了解到，博闻国际律师事务所是一家全方位国际律师事务所，在伦敦、柏林、香港、巴黎和新加坡都设有办事处。