Components of a multi-perspective modeling method for designing and managing IT security systems

Philosophy and social hope

Choice Reviews Online · 2000 · 1.9K citations

Humanities, Philosophy, Political Philosophy +2

The Mechanical Evaluation of Expressions

P. J. Landin · The Computer Journal · 1964 · 932 citations · Full text

Computing, Computer Science, Formal Methods +10

Eliciting security requirements with misuse cases

Guttorm Sindre, Andreas L. Opdahl · Requirements Engineering · 2004 · 725 citations

Computing, Computer Science, Information Systems +14

Models@ run.time

Gordon S. Blair, Nelly Bencomo, Robert B. France · Computer · 2009 · 646 citations

Computing, Computer Science, Systems Engineering +13

Software engineering for security

Prémkumar Dévanbu, Stuart G. Stubblebine · 2000 · 418 citations · Full text

Computing, Computer Engineering, Computer Science +14