Title: The composibility of behaviorally secure systems
Subjects: Computer security, System design