Security Attack Testing (SAT)—testing the security of information systems at design time

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Computing, Computer Science, Artificial Intelligence +9

Tropos: An Agent-Oriented Software Development Methodology

Paolo Bresciani, Anna Perini, Paolo Giorgini et al. · Autonomous Agents and Multi-Agent Systems · 2004 · 1.7K citations

Computing, Computer Science, Distributed Systems +11

Secrets and lies: digital security in a networked world

Choice Reviews Online · 2001 · 1.2K citations

Computing, Computer Science, Cybersecurity +14

Inquiry-based requirements analysis

Colin Potts, Kenji Takahashi, Annie I. Antón · IEEE Software · 1994 · 523 citations

Engineering, Information Systems, Documentation +14

Software engineering for security

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

Computing, Computer Engineering, Computer Science +14