Springer
Lecture Notes in Computer Science
Formal Methods for Components and Objects
Computer Security

Pierik, C., Clarke, D., & de Boer, F. (2005). Controlling Object Allocation Using Creation Guards. In Lecture Notes in Computer Science. Springer.