Arguing security : validating security requirements using structured argumentation Conference Item

@inproceedings{Nuseibeh2005ArguingS,
  title={Arguing security : validating security requirements using structured argumentation Conference Item},
  author={Charles B. Haley Jonathan D. Moffett Robin Laney Bashar Nuseibeh and J. Moffett},
  year={2005}
}
  • Charles B. Haley Jonathan D. Moffett Robin Laney Bashar Nuseibeh, J. Moffett
  • Published 2005
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… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.
24 Citations
24 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 24 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 24 references

The Uses of Argument

  • S. E. Toulmin
  • 1958
Highly Influential
12 Excerpts

The Roots of Computer Supported Argument Visualization

  • S. J. Buckingham Shum
  • Visualizing Argumentation: Software Tools for…
  • 2003
Highly Influential
3 Excerpts

An Integrated Approach for Software Design Checking Using Design Rationale

  • J. E. Burge, D. C. Brown
  • Proceedings of the First International Conference…
  • 2004
3 Excerpts

Similar Papers

Loading similar papers…