A practical tool for analysis of security in systems for distribution of digital contents based on ‘attack trees’ | IEEE Conference Publication | IEEE Xplore