ASP 2016 - SI on Advances on Security Protocols in Communication Networks

Security protocols have been playing an increasingly important role in providing protection for communications over open and insecure communication networks, such as the Internet. Over the last twenty years, experience has shown that the design of security protocol and analysis and verification of security protocol, as far as software implementation of security protocol is concerned, are particularly error-prone. Hence the people including developers and users want to get strong confidence on its security. Recent years have seen considerable advances owning to contributions from different information security and software engineering communities, such as protocol design method, automated tools, symbolic model, computational model, model checking, theorem proving, code generation and verification, and symbolic execution.
The objective of this special issue is intended to provide a channel for researchers and practitioners working on security protocols to present their recent research results to promote the research and development in security protocol related technologies and applications.
Potential topics include, but are not limited to:
Design of new security protocols
Analysis and verification of security protocols
Proved code generation and verification of security protocols
Languages, logics, and calculi for the design and specification of security protocols
Automated tools for security protocols
Vulnerabilities of existing security protocols and applications (both theoretical and case studies), including attacks
Improvements of security protocols
Deployment study of security protocols on communication networks
Security protocols for applications
Authors can submit their manuscripts via the Manuscript Tracking System at http://mts.hindawi.com/submit/journals/jece/commun....
Manuscript Due Friday, 4 December 2015
First Round of Reviews Friday, 26 February 2016
Publication Date Friday, 22 April 2016
Lead Guest Editor
Bo Meng, South Central University for Nationalities, Wuhan, China
Guest Editors
Chin-Tser Huang, University of South Carolina, Columbia, USA
Bo Zhao, Wuhan University, Wuhan, China