A definition of secure dependencies using the logic of security | IEEE Conference Publication | IEEE Xplore