Skip to Main Content
E-Commerce, E-Business and E-Service
book

E-Commerce, E-Business and E-Service

by Garry Lee
July 2014
Intermediate to advanced content levelIntermediate to advanced
260 pages
12h 30m
English
CRC Press
Content preview from E-Commerce, E-Business and E-Service
85
E-Commerce, E-Business and E-Service – Lee (Ed)
© 2014 Taylor & Francis Group, London, ISBN 978-1-138-02646-9
Formal analysis and verification of a new improved NSSK protocol
Guangtian Shi & Huili Chen
Lanzhou Jiaotong University, Lanzhou, P.R. China
ABSTRACT: Authentication protocols are the basis of network security. Needham-Schroeder Shared-
Key (NSSK) protocol is considered as one of the earliest and classical authentication protocol. This paper
introduces NSSK protocol, analyzes its security, and proposes an improved NSSK protocol. Also mod-
eling and verification the security of protocol within the framework of CSP and its model-checking tool
FDR. The results of the analysis show that the proposed protocol can achieves the expectative authentica- ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

E-Commerce and V-Business

E-Commerce and V-Business

Stuart Barnes, Brian Hunt
Building eCommerce Applications

Building eCommerce Applications

Developers from DevZone
The E-Commerce Book, 2nd Edition

The E-Commerce Book, 2nd Edition

Steffano Korper, Juanita Ellis

Publisher Resources

ISBN: 9781138026469