Secure Transaction Protocol Analysis: Models and Applications (Lecture Note in Computer Science)

Secure Transaction Protocol Analysis: Models and Applications (Lecture Note in Computer Science), 9783540850731 (3540850732), Springer, 2008

The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. It aims to serve as an overall course-aid and to provide self-study material for researchers and students in formal methods theory and applications in e-commerce, data analysis and data mining. The volume will also be useful to anyone interested in secure e-commerce.

The book is organized in eight chapters covering the main approaches and tools in formal methods for security protocol analysis. It starts with an introductory chapter presenting the fundamentals and background knowledge with respect to formal methods and security protocol analysis. Chapter 2 provides an overview of related work in this area, including basic concepts and terminology. Chapters 3 and 4 show a logical framework and a model checker for analyzing secure transaction protocols. Chapter 5 explains how to deal with uncertainty issues in secure messages, including inconsistent messages and conflicting beliefs in messages. Chapter 6 integrates data mining with security protocol analysis, and Chapter 7 develops a new technique for detecting collusion attack in security
protocols. Chapter 8 gives a summary of the chapters and presents a brief discussion of some emerging issues in the field.

Comments

Amazing Books

A Living Countryside? (Perspectives on Rural Policy and Planning)

Ashgate, 2009

In recent years the ideal of achieving sustainable rural development has become a key dimension of EU, national, regional and local policy. Whether this ideal is achievable in the near future to any substantial degree is by no means certain. By examining a range of experiences from both the north and south of Ireland, this book asks what the...

Evolutionary Computation for Modeling and Optimization (Interdisciplinary Applied Mathematics)

Springer, 2005

This book is an adaptation of notes that have been used to teach a class in
evolutionary computation at Iowa State University for eight years. A number
of people have used the notes over the years, and by publishing them in book
form I hope to make the material available to a wider audience.

It is important to state...

Hearing Voices: The Histories, Causes and Meanings of Auditory Verbal Hallucinations

Cambridge University Press, 2012

The meanings and causes of hearing voices that others cannot hear (auditory verbal hallucinations, in psychiatric parlance) have been debated for thousands of years. Voice-hearing has been both revered and condemned, understood as a symptom of disease as well as a source of otherworldly communication. Those hearing voices have been viewed as...

Help! I Don't Understand Computers (Help! Guides)

Summersdale Publishers, 2000

This book makes the assumption that the reader has no prior knowledge of computing. It uses everyday language and tries to describe procedures and terms in the simplest way possible. The emphasis is on action and success without wasting time in long technical explanations or terms. Each section is divided up into separate sections that contain...

Those Who Come After: Postmemory, Acknowledgement and Forgiveness (Studies in the Psychosocial)

Palgrave Macmillan, 2019

This book explores the legacies of suffering in relation to ‘those who come after’ – the descendants of victims, survivors and perpetrators of traumatic events. It draws on recent discussions of ‘postmemory’ and ‘haunting’ that are concerned mainly with the transgenerational impact of...

PIC Basic Projects: 30 Projects using PIC BASIC and PIC BASIC PRO

Newnes, 2006

Microcontrollers are single-chip computers consisting of CPU (central processing unit), data and program memory, serial and parallel I/O (input/output), timers, external and internal interrupts, all integrated into a single chip that can be purchased for as little as $2.00. Microcontrollers are intelligent electronic devices used to control and...