Add security and confidentiality analysis#2883

TillFleisch wants to merge 3 commits intoosate:masterosate/osate2:masterfrom

TillFleisch:experimental_security_analysisTillFleisch/osate2:experimental_security_analysisCopy head branch name to clipboard