Advances in Computers

Table of contents

1. Cover image
2. Title page
3. Table of Contents
4. Copyright
5. Preface
6. Chapter One: Comparison of Security Models: Attack Graphs Versus Petri Nets
   1. Abstract
   2. 1 Introduction
   3. 2 Static and dynamic security models
   4. 3 Model-based analysis of system security
   5. 4 Security analysis based on Petri nets
   6. 5 Conclusions
7. Chapter Two: A Survey on Zero-Knowledge Proofs
   1. Abstract
   2. 1 Background and motivation
   3. 2 Introduction
   4. 3 NP problem and zkps
   5. 4 ZKP applications
   6. 5 Advanced topics in composing zkps
   7. 6 Conclusion
8. Chapter Three: Similarity of Private Keyword Search over Encrypted Document Collection
   1. Abstract
   2. 1 Introduction
   3. 2 Background and definitions
   4. 3 Constructing similarity keyword set
   5. 4 Constructing secure index
   6. 5 Overview of some existing schemes
   7. 6 Conclusion
9. Chapter Four: Multiobjective Optimization for Software Refactoring and Evolution
   1. Abstract
   2. List of Abbreviations
   3. 1 Introduction
   4. 2 Related Work
   5. 3 Proposal
   6. 4 Design Defects Detection
   7. 4.3.4 Discussion
   8. 5 Design Defects Correction
   9. 5.4.4 Results
   10. 5.4.5 Discussion
   11. 6 Conclusion
10. Author Index
11. Subject Index
12. Contents of Volumes in This Series