1. Provable security : 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, proceedings /: 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, proceedings. (2015) Editors: Au, Man-Ho; Professor, Miyaji, Atsuko Other Names: ProvSec (Conference), 9th Record Type: Book Extent: 1 online resource (504 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗