- Based on Tmack?s way, a sufficient mechanism for IPC objects is posed. In addition, some flaws in ABLP model are pointed out.
- A new enforcement approach, named ABLP approach, for the BLP axioms is constructed theoretically. The correctness of the ABLP approach is proved.
从理论上构造 BL P公理的一种新的实施方法 ( ABL P方法 )