@Article {sbcj.tkde97,
    author = {P. Samarati and E. Bertino and A. Ciampichetti and S. Jajodia},
    title = {Information Flow Control in Object-Oriented Systems},
    journal = {IEEE Transactions on Knowledge and Data Engineering (TKDE)},
    volume = {9},
    number = {4},
    pages = {524-537},
    month = {August},
    year = {1997}
}