Man Ho Au Atsuko Miyaji Provable Security - 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings ProvSec Springer 2015 Lecture Notes in Computer Science 9451 978-3-319-26058-7 https://doi.org/10.1007/978-3-319-26059-4 db/conf/provsec/provsec2015.html