Software security evaluation based on a top-down McCall-like approach | IEEE Conference Publication | IEEE Xplore