Trustie Software resource Repository Contact:wanglj07@sei.pku.edu.cn Please refer to http://asset.seforge.org/index-en.htm for referenced libs.