第11届可证明安全国际会议论文集

第11届可证明安全国际会议论文集（2017年ProvSec），该会议于2017年10月23日至25日在中国西安召开。会议由陕西师范大学，西安电子科技大学和西安邮电大学共同组织。