OpenArgue: Supporting Argumentation to Evolve Secure Software Systems

Yijun Yu; Thein Tan Tun; Alessandra Tedeschi; V. Nunes Leal Franqueira; Bashar Nuseibeh

doi:10.1109/RE.2011.6051671

OpenArgue: Supporting Argumentation to Evolve Secure Software Systems

Yijun Yu
, Thein Tan Tun
, Alessandra Tedeschi
, V. Nunes Leal Franqueira
, Bashar Nuseibeh

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

23 Citations (Scopus)

116 Downloads (Pure)

Abstract

When software systems are verified against security requirements, formal and informal arguments provide a structure for organizing the software artifacts. Our recent work on the evolution of security-critical software systems demonstrates that our argumentation technique is useful in limiting the scope of change and in identifying changes to security properties. In support of this work, we have developed OpenArgue, a tool for syntax checking, visualizing, formalizing, and reasoning about incremental arguments. OpenArgue has been integrated with requirements engineering tools for Problem Frames and i*, and applied to an Air Traffic Management (ATM) case study.

Original language	Undefined
Title of host publication	19th IEEE International Requirements Engineering Conference, RE 2011
Place of Publication	USA
Publisher	IEEE
Pages	351-352
Number of pages	2
ISBN (Print)	978-1-4577-0924-1
DOIs	https://doi.org/10.1109/RE.2011.6051671
Publication status	Published - Aug 2011
Event	19th IEEE International Requirements Engineering Conference, RE 2011 - Trento, Italy Duration: 29 Aug 2011 → 2 Sept 2011

Publication series

Name
Publisher	IEEE Computer Society

Conference

Conference	19th IEEE International Requirements Engineering Conference, RE 2011
Country/Territory	Italy
City	Trento
Period	29/08/11 → 2/09/11

Keywords

METIS-279112
EWI-18273
IR-77606

Access to Document

10.1109/RE.2011.6051671

RE113012

Cite this

@inproceedings{2e5031c051fc44128c0fb0ffdcb841a8,

title = "OpenArgue: Supporting Argumentation to Evolve Secure Software Systems",

abstract = "When software systems are verified against security requirements, formal and informal arguments provide a structure for organizing the software artifacts. Our recent work on the evolution of security-critical software systems demonstrates that our argumentation technique is useful in limiting the scope of change and in identifying changes to security properties. In support of this work, we have developed OpenArgue, a tool for syntax checking, visualizing, formalizing, and reasoning about incremental arguments. OpenArgue has been integrated with requirements engineering tools for Problem Frames and i*, and applied to an Air Traffic Management (ATM) case study.",

keywords = "METIS-279112, EWI-18273, IR-77606",

author = "Yijun Yu and Tun, \{Thein Tan\} and Alessandra Tedeschi and \{Nunes Leal Franqueira\}, V. and Bashar Nuseibeh",

year = "2011",

month = aug,

doi = "10.1109/RE.2011.6051671",

language = "Undefined",

isbn = "978-1-4577-0924-1",

publisher = "IEEE",

pages = "351--352",

booktitle = "19th IEEE International Requirements Engineering Conference, RE 2011",

address = "United States",

note = "19th IEEE International Requirements Engineering Conference, RE 2011 ; Conference date: 29-08-2011 Through 02-09-2011",

}

Yu, Y, Tun, TT, Tedeschi, A, Nunes Leal Franqueira, V & Nuseibeh, B 2011, OpenArgue: Supporting Argumentation to Evolve Secure Software Systems. in 19th IEEE International Requirements Engineering Conference, RE 2011. IEEE, USA, pp. 351-352, 19th IEEE International Requirements Engineering Conference, RE 2011, Trento, Italy, 29/08/11. https://doi.org/10.1109/RE.2011.6051671

TY - GEN

T1 - OpenArgue: Supporting Argumentation to Evolve Secure Software Systems

AU - Yu, Yijun

AU - Tun, Thein Tan

AU - Tedeschi, Alessandra

AU - Nunes Leal Franqueira, V.

AU - Nuseibeh, Bashar

PY - 2011/8

Y1 - 2011/8

N2 - When software systems are verified against security requirements, formal and informal arguments provide a structure for organizing the software artifacts. Our recent work on the evolution of security-critical software systems demonstrates that our argumentation technique is useful in limiting the scope of change and in identifying changes to security properties. In support of this work, we have developed OpenArgue, a tool for syntax checking, visualizing, formalizing, and reasoning about incremental arguments. OpenArgue has been integrated with requirements engineering tools for Problem Frames and i*, and applied to an Air Traffic Management (ATM) case study.

AB - When software systems are verified against security requirements, formal and informal arguments provide a structure for organizing the software artifacts. Our recent work on the evolution of security-critical software systems demonstrates that our argumentation technique is useful in limiting the scope of change and in identifying changes to security properties. In support of this work, we have developed OpenArgue, a tool for syntax checking, visualizing, formalizing, and reasoning about incremental arguments. OpenArgue has been integrated with requirements engineering tools for Problem Frames and i*, and applied to an Air Traffic Management (ATM) case study.

KW - METIS-279112

KW - EWI-18273

KW - IR-77606

U2 - 10.1109/RE.2011.6051671

DO - 10.1109/RE.2011.6051671

M3 - Conference contribution

SN - 978-1-4577-0924-1

SP - 351

EP - 352

BT - 19th IEEE International Requirements Engineering Conference, RE 2011

PB - IEEE

CY - USA

T2 - 19th IEEE International Requirements Engineering Conference, RE 2011

Y2 - 29 August 2011 through 2 September 2011

ER -