1. Provable security : 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings /: 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings. (2017) Editors: Okamoto, Tatsuaki; Yu, Yong; Au, Man-Ho; Li, Yannan Other Names: ProvSec (Conference), 11th Record Type: Book Extent: 1 online resource (xiii, 508 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗