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

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