Qingfeng Chen's Books

Secure Transaction Protocol Analysis

Models and Applications

By: Qingfeng Chen,Chengqi Zhang,Shichao Zhang

Write a review Read reviews Take a Quiz Solve Book Puzzle

Secure Transaction Protocol Analysis

Models and Applications

By: Qingfeng Chen,Chengqi Zhang,Shichao Zhang

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.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

239

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540850732

ISBN 13

9783540850731

Supreme of Seven Realms

Volume 4

By: Wang QingFeng

Write a review Read reviews Take a Quiz Solve Book Puzzle

Supreme of Seven Realms

Volume 4

By: Wang QingFeng

After fourteen years of bullying, his strong will was forged. Fourteen years later, he would regain his Martial Veins and obtain the Heavenly Treasures, the Heavenly Jade Pendant. From then on, he would rise to greatness. For the sake of his parents, for the sake of the truth, for the sake of his beauties, he had ignited his will to climb to the peak. He had engaged in a fierce struggle with the Heaven's Pride of the Seven Realms, leaving behind one legend after another!

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

742

Publisher

Funstory

Published Date

ISBN 10

1649357028

ISBN 13

9781649357021

Toward an Environmentally Sustainable Future

Country Environmental Analysis of the People's Republic of China

By: Qingfeng Zhang,Robert Crooks

Write a review Read reviews Take a Quiz Solve Book Puzzle

Toward an Environmentally Sustainable Future

Country Environmental Analysis of the People's Republic of China

By: Qingfeng Zhang,Robert Crooks

This publication presents the results of a 2-year effort to update environmental assessment in the People's Republic of China (PRC). The research was a collaborative effort involving the Asian Development Bank (ADB), the Ministry of Environmental Protection, the National Development and Reform Commission, and numerous other technical and research institutions in the PRC. Based on this research and extensive consultations, ADB proposes a wide range of programs and policies that will help improve environmental quality despite new and emerging sources of pollution and challenges to natural resources management. Inclusive growth and a green economy are the government's guiding principles for its development agenda under the 12th Five-Year Plan and beyond to 2020. To support these principles, the PRC needs to restructure its economic and fiscal systems to reflect environmental externality, expand the use of market-based instruments to control pollution, and introduce and implement legal reforms to clarify responsibility and promote cooperation.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

335

Publisher

Asian Development Bank

Published Date

ISBN 10

9290927135

ISBN 13

9789290927136

Environmentally Sustainable Development in the People's Republic of China

Visions for the Future and the Role of the Asian Development Bank

By: Qingfeng Zhang,Robert Crooks,Yi Jiang

Write a review Read reviews Take a Quiz Solve Book Puzzle

Environmentally Sustainable Development in the People's Republic of China

Visions for the Future and the Role of the Asian Development Bank

By: Qingfeng Zhang,Robert Crooks,Yi Jiang

The rapid pace of growth, the sectoral structure of the economy, the sources of energy used, and increased urbanization are four large-scale drivers behind the complex environmental agenda of the People's Republic of China (PRC). To improve the quality of the ambient environment, the recently released Macro Strategic Research Report on the PRC's Environment recognized the need for changing the momentum of the four driving forces, and included visions throughout 2050 for long-term environmentally sustainable development. Revisiting these visions for the future, this paper examines the key elements that the government needs to keep in mind in its efforts toward environmentally sustainable development, and articulates the role that the Asian Development Bank can play in contributing to the government's environmental agenda in the next decade.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

Asian Development Bank

Published Date

ISBN 10

9290924055

ISBN 13

9789290924050

Drying Up

What to Do About Droughts in the People's Republic of China

By: Qingfeng Zhang,Yoshiaki Kobayashi,Melissa Howell Alipalo,Yong Zheng

Write a review Read reviews Take a Quiz Solve Book Puzzle

Drying Up

What to Do About Droughts in the People's Republic of China

By: Qingfeng Zhang,Yoshiaki Kobayashi,Melissa Howell Alipalo,Yong Zheng

Climate change is one of a few major factors that ensure the country will continue to struggle to supply its cities and industries and fields with enough water, particularly in the North, as well as face more frequent and longer droughts. The country has shown a stunningly agile disaster response system, but its system for disaster prevention and management is far less developed. The road to greater drought management and sustainable water supplies is demand management. How to achieve this in a historically hydraulic-engineering society is explored through the case study of Guiyang Municipality in Guizhou Province.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

171

Publisher

Asian Development Bank

Published Date

ISBN 10

9290924489

ISBN 13

9789290924487

Homogeneous Denumerable Markov Processes

By: Zhenting Hou,Qingfeng Guo

Write a review Read reviews Take a Quiz Solve Book Puzzle

Homogeneous Denumerable Markov Processes

By: Zhenting Hou,Qingfeng Guo

Markov processes play an important role in the study of probability theory. Homogeneous denumerable Markov processes are among the main topics in the theory and have a wide range of application in various fields of science and technology (for example, in physics, cybernetics, queuing theory and dynamical programming). This book is a detailed presentation and summary of the research results obtained by the authors in recent years. Most of the results are published for the first time. Two new methods are given: one is the minimal nonnegative solution, the second the limit transition method. With the help of these two methods, the authors solve many important problems in the framework of denumerable Markov processes.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

286

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642681271

ISBN 13

9783642681271

Intelligent Strategies for Pathway Mining

Model and Pattern Identification

By: Qingfeng Chen,Baoshan Chen,Chengqi Zhang

Write a review Read reviews Take a Quiz Solve Book Puzzle

Intelligent Strategies for Pathway Mining

Model and Pattern Identification

By: Qingfeng Chen,Baoshan Chen,Chengqi Zhang

This book is organized into thirteen chapters that range over the relevant approaches and tools in data integration, modeling, analysis and knowledge discovery for signaling pathways. Having in mind that the book is also addressed for students, the contributors present the main results and techniques in an easily accessed and understood way together with many references and instances. Chapter 1 presents an introduction to signaling pathway, including motivations, background knowledge and relevant data mining techniques for pathway data analysis. Chapter 2 presents a variety of data sources and data analysis with respect to signaling pathway, including data integration and relevant data mining applications. Chapter 3 presents a framework to measure the inconsistency between heterogenous biological databases. A GO-based (genome ontology) strategy is proposed to associate different data sources. Chapter 4 presents identification of positive regulation of kinase pathways in terms of association rule mining. The results derived from this project could be used when predicting essential relationships and enable a comprehensive understanding of kinase pathway interaction. Chapter 5 presents graphical model-based methods to identify regulatory network of protein kinases. A framework using negative association rule mining is introduced in Chapter 6 to discover featured inhibitory regulation patterns and the relationships between involved regulation factors. It is necessary to not only detect the objects that exhibit a positive regulatory role in a kinase pathway but also to discover those objects that inhibit the regulation. Chapter 7 presents methods to model ncRNA secondary structure data in terms of stems, loops and marked labels, and illustrates how to find matched structure patterns for a given query. Chapter 8 shows an interval-based distance metric for computing the distance between conserved RNA secondary structures. Chapter 9 presents a framework to explore structural and functional patterns of RNA pseudoknot structure according to probability matrix. Chapter 10 presents methods to model miRNA data and identify miRNA interaction of cross-species and within-species. Chapter 11 presents an approach to measure the importance of miRNA site and the adjacent base by using information redundancy and develops a novel measure to identify strongly correlated infrequent itemsets. The discover association rules not only present important structural features in miRNAs, but also promote a comprehensive understanding of regulatory roles of miRNAs. Chapter 12 presents bioinformatics techniques for protein kinase data management and analysis, kinase pathways and drug targets, and describes their potential application in pharmaceutical industry. Chapter 13 presents a summary of the chapters and give a brief discussion to some emerging issues.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

304

Publisher

Springer

Published Date

ISBN 10

331904172X

ISBN 13

9783319041728

Intelligent Strategies for Pathway Mining

Model and Pattern Identification

By: Qingfeng Chen,Baoshan Chen,Chengqi Zhang

Write a review Read reviews Take a Quiz Solve Book Puzzle

Intelligent Strategies for Pathway Mining

Model and Pattern Identification

By: Qingfeng Chen,Baoshan Chen,Chengqi Zhang

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

304

Publisher

Springer

Published Date

ISBN 10

331904172X

ISBN 13

9783319041728

Secure Transaction Protocol Analysis

Models and Applications

By: Qingfeng Chen,Chengqi Zhang,Shichao Zhang

Write a review Read reviews Take a Quiz Solve Book Puzzle

Secure Transaction Protocol Analysis

Models and Applications

By: Qingfeng Chen,Chengqi Zhang,Shichao Zhang

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 from malicious attacks.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

239

Publisher

Springer

Published Date

ISBN 10

3540850740

ISBN 13

9783540850748

Book's by Qingfeng Chen

Secure Transaction Protocol Analysis

Secure Transaction Protocol Analysis

Supreme of Seven Realms

Supreme of Seven Realms

Toward an Environmentally Sustainable Future

Toward an Environmentally Sustainable Future

Environmentally Sustainable Development in the People's Republic of China

Environmentally Sustainable Development in the People's Republic of China

Drying Up

Drying Up

Homogeneous Denumerable Markov Processes

Homogeneous Denumerable Markov Processes

Intelligent Strategies for Pathway Mining

Intelligent Strategies for Pathway Mining

Intelligent Strategies for Pathway Mining

Intelligent Strategies for Pathway Mining

Secure Transaction Protocol Analysis

Secure Transaction Protocol Analysis

Username

Password

Username

Password

Password again

Birthday

Email