TY - BOOK ID - 219111 TI - Secure transaction protocol analysis : models and applications AU - Chen, Qingfeng AU - Zhang, Shichao AU - Zhang, Chengqi PY - 2008 SN - 3540850740 3540850732 PB - Berlin, Heidelberg : Springer, DB - UniCat KW - Computer networks KW - Electronic commerce KW - Computer network protocols. KW - Security measures. KW - Protocols, Computer network KW - Computer network security KW - Network security, Computer KW - Security of computer networks KW - Computer security KW - Information Technology KW - Computer Science (Hardware & Networks) KW - Computer Communication Networks. KW - Software engineering. KW - Operating systems (Computers). KW - Data mining. KW - Information storage and retrieva. KW - Software Engineering/Programming and Operating Systems. KW - Operating Systems. KW - Software Engineering. KW - Data Mining and Knowledge Discovery. KW - Information Storage and Retrieval. KW - Algorithmic knowledge discovery KW - Factual data analysis KW - KDD (Information retrieval) KW - Knowledge discovery in data KW - Knowledge discovery in databases KW - Mining, Data KW - Database searching KW - Computer operating systems KW - Computers KW - Disk operating systems KW - Systems software KW - Computer software engineering KW - Engineering KW - Operating systems KW - Information storage and retrieval systems. KW - Automatic data storage KW - Automatic information retrieval KW - Automation in documentation KW - Computer-based information systems KW - Data processing systems KW - Data storage and retrieval systems KW - Discovery systems, Information KW - Information discovery systems KW - Information processing systems KW - Information retrieval systems KW - Machine data storage and retrieval KW - Mechanized information storage and retrieval systems KW - Computer systems KW - Electronic information resources KW - Data libraries KW - Digital libraries KW - Information organization KW - Information retrieval KW - Computer communication systems. KW - Information storage and retrieval. KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Electronic data processing KW - Network computers KW - Distributed processing UR - https://www.unicat.be/uniCat?func=search&query=sysid:219111 AB - 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. ER -