assessing how secure a product is. It could be one element of a “Software Security
Facts” label, similar to food labels that provide nutrition and other information in a
consumer-friendly format [Black].
Unfortunately, the research community has not explored VAAL further. While many