Separation and Information Hiding 摘要

標題：Separation and Information Hiding
作者：Queen Mary University of London的Peter W. O’Hearn
　　　Seoul National University的Hongseok Yang
　　　Carnegie Mellon University的John C. Reynolds
日期：January 14–16, 2004, Venice, Italy.
版權： 2004 ACM 1-58113-729-X/04/0001

摘要：
1.利用邏輯分離的概念，來調查資訊隱藏的規則與證明。
2.實際上，利用邏輯分離，把分成一塊塊模組區塊的內部資源與從模組用戶端探訪的那些資源結合。
3.利用邏輯的串聯性來提升動態區分的型態，並跟蹤所有權的轉移與儲存部分在文件之間的成分組合。
4.強制執行分離可變的數據結構與嵌入位址別名的可行性。