assurance community, where they are seen as a means for software producers
to make claims about the security of their software and to provide evidence
supporting those claims. Assurance cases are looked to as providing the basis
for security evaluations of software products. Significant effort has already been