Advances in computers. Volume 94 / edited by Ali Hurson.

Format:

Book

Contributor:

Hurson, A. R., editor.

Series:

Advances in computers ; 0065-2458 v. 94 (OCoLC)1461174

Advances in computers, 0065-2458 ; v. 94

Language:

English

Subjects (All):

Electronic data processing.

Computer science.

Physical Description:

1 online resource (199 p.)

Edition:

First edition.

Place of Publication:

Waltham, Massachusetts ; San Diego, California : Elsevier : AP, 2014.

Language Note:

English

System Details:

text file

Summary:

The theme of this 94th volume is inspired by the advances in information technology. Within the spectrum of information technology, this volume touches several issues in security and software evolution. The volume is a collection of four chapters that were solicited from authorities in the field, each of whom brings to bear a unique perspective on the topic. Focuses on needs for modeling of system and information security in order to facilitate formal representation and analysis of security to identify and address the vulnerabilities. Zero-knowledge proofs (ZKPs) as interactive protocols where one party (i.e., prover) can convince the other party (i.e., verifier) that some assertion is true without revealing anything other than the fact that the assertion being proven is true. The property of being convincing and yielding nothing except the assertion is valid making ZKPs very powerful tools for the design of secure cryptographic protocols. The zero-knowledge proofs have been used in many applications such as identity verification, authentication, key exchange, and enforcing the honest behavior while maintaining privacy. Outsourcing data to the “cloud” has numerous advantages such as cost effectiveness, flexibility, and off-loading of administrative overhead. These advantages come at the expense of data owner’s loss of control over the data (the cloud provider becomes a third-party service provider). Data encryption is a common practice to overcome this difficulty and protect the confidentiality of the outsourced data from the third-party provider. Address refactoring as a technique to improve design structure while preserving the external behavior of software systems after its delivery. Refactoring should be of interest to software designers since it eases the software maintenance. As noted by the article, in general, refactoring is performed.

Contents:

Chapter 1. Comparison of Security Models: Attack Graphs Versus Petri Nets

1. Introduction

2. Static and Dynamic Security Models

2.1 Attack Graphs

2.2 Stochastic Attack Graphs

2.3 Petri Nets

2.4 Stochastic Petri Nets

3. Model-Based Analysis of System Security

3.1 Security Analysis Based on Classical Attack Graph Model

3.2 Security Analysis Based on the Stochastic Attack Graph Model

4. Security Analysis Based on Petri Nets

4.1 Security Analysis Based on Classical Petri Nets

4.1.1 Behavioral Analysis of Petri Nets

4.2 Security Analysis Based on Stochastic Petri Nets

5. Conclusions

Chapter 2. A Survey on Zero-Knowledge Proofs

1. Background and Motivation

2. Introduction

2.1 Interactive Proof and Its Properties

2.2 A Simple Example

2.3 Computational Indistinguishability

2.4 One-Way Function

2.5 Simulation Paradigm

2.6 Definition of ZKP

2.7 Witness Indistinguishability

2.8 Honest Verifier Versus General Cheating Verifier

2.9 Black-Box Simulator Versus Non-Black-Box Simulator

2.10 Quality of ZKPs

3. NP Problem and ZKPs

4. ZKP Applications

4.1 ZKP for Graph Three Colorability

4.2 ZKP for Feige-Fiat-Shamir Identification Scheme

4.3 ZKP for GI

4.4 ZKP for Hamiltonian Cycle

4.5 Another ZKP for Graph Three Colorability

4.6 ZKP Sketch for SAT

4.7 ZKP for Circuit Computations

4.8 ZKP for Exact Cover

4.9 ZKP for 0-1 Knapsack

5. Advanced Topics in Composing ZKPs

5.1 Composing ZKPs

5.2 Efficiency Considerations

5.3 Knowledge Complexity

5.4 Noninteractive Zero Knowledge

6. Conclusion

References

Chapter 3. Similarity of Private Keyword Search over Encrypted Document Collection

2. Background and Definitions

2.1 Similarity Metric

2.2 Searchable Encryption

2.2.1 Symmetric Searchable Encryption

2.2.2 Asymmetric Searchable Encryption

2.2.3 Security Requirements

2.3 Terminologies and Other Basic Tools

3. Constructing Similarity Keyword Set

3.1 Enumeration Technique

3.2 Wildcard-Based Technique

4. Constructing Secure Index

4.1 Inverted-Index-Based Secure Index

4.2 Symbol-Trie-Based Secure Index.

4.3 LSH-Based Secure Index.

4.4 Bed-Tree-Based Secure Index.

4.5 Bilinear-Based Secure Index.

5. Overview of Some Existing Schemes

5.1 Symmetric-Key PKS

5.2 Verifiable Symmetric-Key PKS

5.3 Verifiable Symmetric-Key PKS Using Twin Cloud

5.4 LSH-Based PKS

5.5 Bed-Tree Multi-PKS

5.6 Public-Key PKS

5.7 Classification

Chapter 4. Multiobjective Optimization for Software Refactoring and Evolution

1.1 Research Context

1.2 Problem Statement

1.2.1 Automating Defects Detection

Index.

Notes:

Includes index.

Includes bibliographical references and indexes.

Description based on online resource; title from PDF title page (ebrary, viewed September 5, 2014).

ISBN:

9780128003251

0128003251

OCLC:

891383805