Security Assurance In Socs And Nocs: Analysis, Specification, And Quantification