Provable Security: 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings

397 Pages·2016·9.987 MB·English

by  Liqun Chen, Jinguang Han (eds.)

Liqun Chen
Jinguang Han (Eds.)
5
0
0
0
1

S
Provable Security
C
N
L
10th International Conference, ProvSec 2016
Nanjing, China, November 10–11, 2016
Proceedings
123
Lecture Notes in Computer Science 10005
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
David Hutchison
Lancaster University, Lancaster, UK
Takeo Kanade
Carnegie Mellon University, Pittsburgh, PA, USA
Josef Kittler
University of Surrey, Guildford, UK
Jon M. Kleinberg
Cornell University, Ithaca, NY, USA
Friedemann Mattern
ETH Zurich, Zurich, Switzerland
John C. Mitchell
Stanford University, Stanford, CA, USA
Moni Naor
Weizmann Institute of Science, Rehovot, Israel
C. Pandu Rangan
Indian Institute of Technology, Madras, India
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Demetri Terzopoulos
University of California, Los Angeles, CA, USA
Doug Tygar
University of California, Berkeley, CA, USA
Gerhard Weikum
Max Planck Institute for Informatics, Saarbrücken, Germany
More information about this series at http://www.springer.com/series/7410
Liqun Chen Jinguang Han (Eds.)
(cid:129)
Provable Security
10th International Conference, ProvSec 2016
–
Nanjing, China, November 10 11, 2016
Proceedings
123
Editors
LiqunChen JinguangHan
University of Surrey NanjingUniversity ofFinance
Guildford andEconomics
UK Nanjing
China
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-319-47421-2 ISBN978-3-319-47422-9 (eBook)
DOI 10.1007/978-3-319-47422-9
LibraryofCongressControlNumber:2016953218
LNCSSublibrary:SL4–SecurityandCryptology
©SpringerInternationalPublishingAG2016
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringerInternationalPublishingAG
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
Preface
The 10th International Conference on Provable Security (ProvSec 2016) was held in
Nanjing, P.R. China, November 10–11, 2016. The conference was organized by
Nanjing University of Finance and Economics.
The conference program consisted of two invited talks and 23 contributed papers.
We would like to express our special thanks to the distinguished keynote speakers,
ColinBoydfromtheNorwegianUniversityofScienceandTechnologyandJensGroth
from University College London, who gave very enlightening talks.
Outof79 submissions from16 countries, 23papers wereselected, presented atthe
conference, and are included in these proceedings. The accepted papers cover a range
of topics in the field of provable security research, including attribute/role-based
cryptography, data in cloud, searchable encryption, key management, encryption,
leakage analysis, and homomorphic encryption.
The success of this event depended critically on the help and hard work of many
people, whose help we gratefully acknowledge. First, we heartily thank the Program
Committeeandtheadditionalreviewers,listedonthefollowingpages,fortheircareful
and thorough reviews. Most of the papers were reviewed by at least three people, and
many by four or five. Significant time was spent discussing the papers. Thanks must
also go to the hard-working shepherds for their guidance and helpful advice on
improving a number of papers. We also thank the general chair for the excellent
organization of the conference.
We also sincerely thank the authors of all submitted papers. We further thank the
authors of accepted papers for revising papers according to the various reviewer
suggestions and for returning the source files in good time. The revised versions were
not checked by the Program Committee, and so authors bear final responsibility for
their contents. We would also like to thank the Steering Committee and local Orga-
nizing Committee.
Thanks are due to the staff at Springer for their help in producing the proceedings.
We further thank the developers and maintainers of the EasyChair software, which
greatly helped simplify the submission and review process.
November 2016 Liqun Chen
Jinguang Han
Organization
Provable Security 2016
Nanjing, P.R. China
November 10–11, 2016
General Chair
Jie Cao Nanjing University of Finance and Economics, China
Program Chairs
Liqun Chen University of Surrey, UK
Jinguang Han Nanjing University of Finance and Economics, China
Steering Committee
Feng Bao Huawei, Singapore
Xavier Boyen Queensland University of Technology, Australia
Joseph K. Liu Monash University, Australia
Yi Mu University of Wollongong, Australia
Josef Pieprzyk Queensland University of Technology, Australia
Willy Susilo University of Wollongong, Australia
Program Committee
Man Ho Au Hong Kong Polytechnic University, SAR China
Joonsang Baek Khalifa University of Science,
Technology and Research, UAE
Zhenfu Cao East China Normal University, China
Aniello Castiglione University of Salerno, Italy
Liqun Chen University of Surrey, UK
Xiaofeng Chen Xidian University, China
Yu Chen Chinese Academy of Sciences, China
Céline Chevalier Université Panthéon-Assas Paris II, France
Kim-Kwang University of Texas at San Antonio, USA
Raymond Choo
Sherman S.M. Chow Chinese University of Hong Kong, SAR China
Nico Döttling University of California, Berkeley, USA
Georg Fuchsbauer École normale supérieure, France
David Galindo University of Birmingham, UK
Jinguang Han Nanjing University of Finance and Economics, China
Qiong Huang South China Agricultural University, China
VIII Organization
Xinyi Huang Fujian Normal University, China
Sorina Ionica University of Picardie Jules Verne, France
Kwangjo Kim KAIST, Republic of Korea
Alptekin Küpçü Koç University, Turkey
Jiguo Li Hohai University, China
Yingjiu Li Singapore Management University, Singapore
Kaitai Liang Manchester Metropolitan University, UK
Xiaodong Lin University of Ontario Institute of Technology, Canada
Joseph Liu Monash University, Australia
Zhe Liu University of Waterloo, Canada
Rongxing Lu University of New Brunswick, Canada
Masahiro Mambo Kanazawa University, Japan
Mark Manulis University of Surrey, UK
Bart Mennink KU Leuven, Belgium
Chris Mitchell Royal Holloway, University of London, UK
Atsuko Miyaji Osaka University, Japan
Yi Mu University of Wollongong, Australia
Tatsuaki Okamoto NTT, Japan
Thomas Peters École normale supérieure, France
Christophe Petit University of Oxford, UK
Josef Pieprzyk Queensland University of Technology, Australia
Yogachandran Loughborough University in London, UK
Rahulamathavan
Kui Ren State University of New York at Buffalo, USA
Reza Reyhanitabar NEC Laboratories Europe, Germany
Dominique Schröder Saarland University, Germany
Willy Susilo University of Wollongong, Australia
Qiang Tang University of Luxembourg, Luxembourg
Cong Wang City University of Hong Kong, SAR China
Huaxiong Wang Nanyang Technological University, Singapore
Jian Weng Jinan University, China
Qianhong Wu Beihang University, China
Shouhuai Xu University of Texas at San Antonio, USA
Chung-Huang Yang National Kaohsiung Normal University, Taiwan
Guomin Yang University of Wollongong, Australia
Wun-She Yap Universiti Tunku Abdul Rahman, Malaysia
Xun Yi RMIT University, Australia
Siu Ming Yiu The University of Hong Kong, SAR China
Yong Yu Shaanxi Normal University, China
Tsz Hon Yuen Huawei, Singapore
Fangguo Zhang Sun Yat-sen University, China
Futai Zhang Nanjing Normal University, China
Rui Zhang Chinese Academy of Sciences, China
Yuan Zhang Nanjing University, China
Zongyang Zhang AIST, Japan
Jianying Zhou Institute for Infocomm Research, Singapore
Organization IX
Organizing Chairs
Zhiang Wu Nanjing University of Finance and Economics, China
Futai Zhang Nanjing Normal University, China
Jiguo Li Hohai University, China
Publication Chairs
Zhan Bu Nanjing University of Finance and Economics, China
Muhammad Khurram Khan King Saud University, Kingdom of Saudi Arabia
Publicity Chairs
Jiageng Chen Huazhong Normal University, China
Ali El Kaafarani University of Oxford, UK
Registration Chair
Changjian Fang Nanjing University of Finance and Economics, China
Additional Reviewers
Ang, Yang Lai, Russell W.F.
Arita, Seiko Lee, Hyung Tae
Biswas, Bhaskar Li, Hongbo
Blazy, Olivier Li, Huige
Dong, Changyu Li, Ximing
Dong, Xiaolei Lin, Changlu
Dupont, Pierre-Alain Liu, Jia-Nan
El Kaafarani, Ali Liu, Jianghua
Etemad, Mohammad Liu, Ximing
Ezerman, Martianus Frederic Liu, Yuejun
Ferrara, Anna Lisa Liu, Yunwen
Fleischhacker, Nils Mamun, Mohammad
Futa, Yuichi Michel, Christoph
Gong, Junqing Minelli, Michele
Haiyang, Xue Ning, Jianting
Hassanzadeh-Nazarabadi, Yahya Nguyen, Khoa
Hou, Lin Omote, Kazumasa
Huang, Jianye Pellegrino, Giancarlo
Huang, Yan Russell, Paulet
Jiang, Peng Sasaki, Yu
Kai, He Su, Chunhua
Kuwakado, Hidenori Taheri-Boshrooyeh, Sanaz
Lai, Jianchang Tan, Gaosheng
X Organization
Tan, Syh-Yuan Yang, Xu
Tan, Xiao Yang, Xuechao
Vizár, Damian Yau, Wei-Chuen
Wang, Hao Yu, Gang
Wang, Jianfeng Yu, Jingyue
Wang, Licheng Zhang, Huang
Wang, Qin Zhang, Kai
Wang, Wei Zhang, Liting
Wang, Xiuhua Zhang, Shiwei
Wang, Yilei Zhang, Tao
Wang, Yuyu Zhang, Yinghui
Xiao, Yuting Zhao, Yongjun
Xie, Congge Zheng, Haibin
Xie, Shaohao Zhong, Lin
Xue, Haiyang Zhou, Jun
Yang, Rupeng Zhou, Xingguang
Yang, Wenjie