
Secure Transaction Protocol Analysis
Models and Applications
Springer (Publisher)
Published on 30. July 2008
Book
Paperback/Softback
XI, 234 pages
978-3-540-85073-1 (ISBN)
Description
The application of formal methods to security protocol analysis has attracted increasing attention in the past two decades, and recently has been sh- ing signs of new maturity and consolidation. The development of these formal methodsismotivatedbythehostilenatureofsomeaspectsofthenetworkand the persistent e?orts of intruders, and has been widely discussed among - searchers in this ?eld. Contributions to the investigation of novel and e?cient ideas and techniques have been made through some important conferences and journals, such asESORICS,CSFW andACM Transactions in Computer Systems. Thus, formal methods have played an important role in a variety of applications such as discrete system analysis for cryptographic protocols, - lief logics and state exploration tools. A complicated security protocol can be abstractedasamanipulationofsymbolsandstructurescomposedbysymbols. The analysis of e-commerce (electronic commerce) protocols is a particular case of such symbol systems. There have been considerable e?orts in developing a number of tools for ensuring the security of protocols, both specialized and general-purpose, such as belief logic and process algebras. The application of formal methods starts with the analysis of key-distribution protocols for communication between two principals at an early stage. With the performance of transactions - coming more and more dependent on computer networks, and cryptography becoming more widely deployed, the type of application becomes more varied and complicated. The emerging complex network-based transactions such as ?nancial transactionsand secure groupcommunication have not only brought innovationstothecurrentbusinesspractice,butthey alsoposeabigchallenge to protect the information transmitted over the open network frommalicious attacks.
More details
Series
Edition
2008 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XI, 234 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 14 mm
Weight
382 gr
ISBN-13
978-3-540-85073-1 (9783540850731)
DOI
10.1007/978-3-540-85074-8
Schweitzer Classification
Persons
Qingfeng Chen received his BSc and MSc degrees in Mathematics from Guangxi Normal University, China, in 1995 and 1998, respectively, and his PhD in Computer Science from the University of Technology Sydney in September 2004. He is currently a Professor at Guangxi University, China and an honorary research fellow at La Trobe University, Australia. He has published many papers in top venues for machine learning and artificial intelligence, serves as an associate editor for top journals including Complexity & Intelligent systems, and has co-chaired several international conferences.
Content
Overview of Security Protocol Analysis.- Formal Analysis of Secure Transaction Protocols.- Model Checking in Security Protocol Analysis.- Uncertainty Issues in Secure Messages.- Applications of Data Mining in Protocol Analysis.- Detection Models of Collusion Attacks.- Conclusion and Future Works.