Elsevier
Electronic Notes in Theoretical Computer Science
Computer Security

Arbab, F., & Sirjani, M. (2006). Preface -- special issue on Foundations of Software Engineering. Electronic Notes in Theoretical Computer Science, 159, 1–2.