%0 Conference Paper %1 haley05 %A Haley, Charles B. %A Moffett, Jonathan D. %A Laney, Robin %A Nuseibeh, Bashar %B Third Symposium on Requirements Engineering for Information Security (SREIS'05) held in conjunction with the 13th International Requirements Engineering Conference (RE'05) %C Paris %D 2005 %K argumentation requirements security %T Arguing Security: Validating Security Requirements Using Structured Argumentation %U http://mcs.open.ac.uk/cbh46/publications.htm %X This paper proposes using both formal and structured informal arguments to show that an eventual realized system can satisfy its security requirements. These arguments, called 'satisfaction arguments', consist of two parts: a formal argument based upon claims about domain properties, and a set of informal arguments that justify the claims. Building on our earlier work on trust assumptions and security requirements, we show how using satisfaction arguments assists in clarifying how a system satisfies its security requirements, in the process identifying those properties of domains that are critical to the requirements.

@inproceedings{haley05, abstract = {This paper proposes using both formal and structured informal arguments to show that an eventual realized system can satisfy its security requirements. These arguments, called 'satisfaction arguments', consist of two parts: a formal argument based upon claims about domain properties, and a set of informal arguments that justify the claims. Building on our earlier work on trust assumptions and security requirements, we show how using satisfaction arguments assists in clarifying how a system satisfies its security requirements, in the process identifying those properties of domains that are critical to the requirements.}, added-at = {2006-03-24T16:34:33.000+0100}, address = {Paris}, author = {Haley, Charles B. and Moffett, Jonathan D. and Laney, Robin and Nuseibeh, Bashar}, biburl = {https://www.bibsonomy.org/bibtex/2ea274e54ba96854f82017503200d33f4/neilernst}, booktitle = {Third Symposium on Requirements Engineering for Information Security (SREIS'05) held in conjunction with the 13th International Requirements Engineering Conference (RE'05)}, citeulike-article-id = {375929}, description = {sdasda}, interhash = {16a3d9e9eb18af074e1f3fbb4088cb8d}, intrahash = {ea274e54ba96854f82017503200d33f4}, keywords = {argumentation requirements security}, month = {August}, priority = {3}, timestamp = {2006-03-24T16:34:33.000+0100}, title = {Arguing Security: Validating Security Requirements Using Structured Argumentation}, url = {http://mcs.open.ac.uk/cbh46/publications.htm}, year = 2005 }