Research on an analysis method for software trustworthiness based on rules | IEEE Conference Publication | IEEE Xplore