Information and Communication Security

Name: Information and Communication Security | 13th International Conference, ICICS 2011, Beijing, China, November 23-26, 2011, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

13th International Conference, ICICS 2011, Beijing, China, November 23-26, 2011, Proceedings

Sihan Qing Willy Susilo Guilin Wang Dongmei Liu(Herausgeber*in)

Springer (Verlag)

Erschienen am 2. November 2011

XIII, 432 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-25243-3 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Title
Preface
Table of Contents
Digital Signatures
Forward Secure Ring Signature without Random Oracles
Introduction
Applications
Related Works
Preliminaries
Pairings
Mathematical Assumptions
Security Model
Syntax of Forward Secure Ring Signatures
Forward-Security
Anonymity
Our Proposed Forward Secure Ring Signature Scheme
Intuition
Construction
Comparison
Conclusion
References
Ring Signature Schemes from Lattice Basis Delegation
Introduction
Related Work
Preliminaries
Notation
Lattices
Trapdoors and Basis Delegation Functions
Ring Signature
Lattice Based Ring Signature in the Random Oracle Model
Sampling Preimage for Extended Lattice
Basic Construction
Correctness
Security Analysis
Ring Signature in the Standard Model
Our Construction in the Standard Model
Conclusion
References
Public Key Encryption
Computational Soundness about Formal Encryption in the Presence of Secret Shares and Key Cycles
Introduction
Formal Model
Messages
Patterns
Equivalence
Computational Model
Computational Soundness
Further Discussion
Conclusion
References
A Variant of Boyen-Waters Anonymous IBE Scheme
Introduction
Our Contribution
Related Works
Organization
Preliminaries
Bilinear Maps
Complexity Assumption
Algorithms
Security Models
BW-AIBE Review and Analysis
Scheme Description
Analysis
Generic Construction
A Variant of BW-AIBE
Construction
Security
Discussion
Other Transformation
Anonymous HIBE
Conclusion
References
Non-interactive Opening for Ciphertexts Encrypted by Shared Keys
Introduction
PKENO: Public Key Encryption with Non-interactive Opening
PKENO with the KEM/DEM Framework and Its Limitation
Our Contribution
Preliminaries
PRNG: Pseudo-Random Number Generator
VRF: Verifiable Random Function
SKENO: Secret Key Encryption with Non-interactive Opening
Our SKENO Construction
Security Analysis
SKENO with Chosen-Ciphertext Security
Conclusion
References
Cryptographic Protocols
Lightweight RFID Mutual Authentication Protocol against Feasible Problems
Introduction
Related Work
Feasible Problems
Lightweight
Asynchronization
Tracking
Forward Security
Lightweight RFID Authentication Protocol against Feasible Problems
Definitions
Protocol Description
Analysis
Security and Privacy
Efficiency Considerations
Conclusions
References
A Note on a Privacy-Preserving Distance-Bounding Protocol
Introduction
Background
Distance Bounding Protocols
Information Leakage and Countermeasures
The Rasmussen-Capkun Protocol
Notations
Detailed Description of the Protocol
Attacks for the RC Protocol with Predictable Nonces
Are Nonces Nonces?
Attack with a Predictable NV
Attack with a Predictable NP
Discussion
Attack for the Original RC Protocol
Description of the Attack
Complexity Analysis
Strengthening the RC Protocol
Security against Relay Attacks
Distance Fraud
Mafia Fraud
Terrorist Fraud
Conclusions
References
Delegable Provable Data Possession for Remote Data in the Clouds
Introduction
Delegable Provable Data Possession
Related Work
Preliminary
Construction
Performance
Security Analysis
Proof Unforgeability
Proof Indistinguishability
Delegation Key Unforgeability
Conclusion
References
Unconditionally Secure Oblivious Transfer Based on Channel Delays
Introduction
Preliminaries
Delay Channel
Oblivious Transfer
A Building Block Protocol
Semi-honest OT
Security in the Semi-honest Model
Constructing the Full Protocol
Insecurity of the Basic Protocol
The Enhancement Scheme
The Complete Protocol
Security Analysis
Conclusion
References
Applied Cryptography
Preserving Security and Privacy in Large-Scale VANETs
Introduction
Related Work
Contribution and Plan of This Paper
Design Goals and Challenges
Design Goals
Challenges to the Goals
The Proposal
Underlying Technologies and High-level Description
System Set-up
Key Generation
Registration
Authentication of Vehicle-Generated Messages
Message Verification
Revoking Doubtable Messages
Message Size
Security Analysis
Selfish Batch Verification
Conclusions
References
A Probabilistic Secret Sharing Scheme for a Compartmented Access Structure
Introduction
New Solution and Proofs
New Solution
Proofs
Conclusions
References
Ideal Secret Sharing Schemes with Share Selectability
Introduction
Cryptography with Information-Theoretic Security
Research Background
Our Contribution
Requirement of Shannon's Entropy of Selected Shares
Another Significance of the Share Selectability
Preliminaries
Share Selectable Secret Sharing
Proposed Schemes
Share Selectable Secret Sharing with Weak Shares
Conclusion and Future Work
References
Multimedia Security
A Novel Pyramidal Dual-Tree Directional Filter Bank Domain Color Image Watermarking Algorithm
Introduction
An Introduction to Pyramidal Dual-Tree Directional Filter Bank
Watermark Embedding Scheme
Watermark Preprocessing
Image Normalization and Significant Region Extraction
The PDTDFB of the Significant Region
Digital Watermark Embedding
Obtaining the Watermarked Color Image
Watermark Detection Scheme
Image Normalization and Significant Region Extraction
The PDTDFB of the Significant Region
Selecting the Embedded Position
SVR Training
Digital Watermark Extracting
Watermark Postprocessing
Simulation Results
Performance Test
Performance Test
Conclusion
References
Detection for Multiplicative Watermarking in DCT Domain by Cauchy Model
Introduction
Multiplicative Watermarking Embedding Process
Proposed Watermark Detector
Performance Analysis
Experimental Results
Performance Comparison of Different Detectors
Empirical and Theoretical ROC
Detection Performance of Different WDR
Conclusion
References
Algorithms and Evaluation
Extension of Barreto-Voloch Root Extraction Method
Introduction
Barreto-Voloch Method
Analysis of Barreto-Voloch Method
On the Conditions of Barreto-Voloch Method
On the Technique of Periodic Structure
Extension of Barreto-Voloch Method
Taking rth Roots When r is Invertible
Taking rth Roots When r is Not Invertible
Conclusion
References
Two Applications of an Incomplete Additive Character Sum to Estimating Nonlinearity of Boolean Functions
Introduction
Preliminaries
The Modified Tu-Deng Functions with a Better Nonlinearity Bound
The Modified Tu-Deng's 1-Resilient Functions with a Better Nonlinearity Bound
Conclusion
References
Evaluating Optimized Implementations of Stream Cipher ZUC Algorithm on FPGA
Introduction
Preliminaries: ZUC Algorithm
The Linear Feedback Shift Register (LFSR)
The Bit-Reorganization (BR)
The Nonlinear Function F
The Execution of ZUC
Optimized FPGA Implementations of ZUC
Scheme 1: Reusing the Consumed Area of S-Box
Scheme 2: CSA Tree Implementation
Scheme 3: Pipelined Architecture Implementation
Evaluation
Conclusion
References
Cryptanalysis
First Differential Attack on Full 32-Round GOST
Introduction on GOST
GOST Is Very Competitive
Security of GOST
Recent Attacks on GOST
Linear and Differential Cryptanalysis of GOST
Previous Research and Application to GOST
Classical Biham-Shamir DC Attacks and GOST
Advanced Differential Attacks on GOST
Previous Advanced DC Attack on GOST
From GOST to New Differential Attacks on GOST
Vocabulary: Aggregated Differentials
Multiple Differential Attacks on GOST
New Results
Propagation for 16 Rounds
Detailed Comparison New vs. Previous Results
An Initial Extension
A Final Extension
Our Distinguisher For 20 Rounds
Key Recovery Attacks on Full 32-Round GOST
First Differential Attack on GOST Faster Than Brute Force
Conclusion
References
Collision Attack for the Hash Function Extended MD4
Introduction
Background and Definitions
Notation
Description of Extended MD4
Some Basic Conclusions of the Three Nonlinear Functions
The Practical Collision Attack against Extended MD4
Collision Differential Path for Extended MD4
Deriving the Sufficient Conditions for Differential Path
Message Modification
Overview of the Collision Attack Algorithm
Conclusions
References
Linear Cryptanalysis of ARIA Block Cipher
Introduction
Preliminaries
Description of ARIA
Linear Cryptanalysis
A Kind of Special Linear Characteristics for Byte-Oriented SPN Block Ciphers
Attacking Reduced-Round ARIA
Key Recovery Attacks on 7-Round ARIA, 9-Round ARIA and 11-Round ARIA
Conclusion
References
Latin Dances Revisited: New Analytic Results of Salsa20 and ChaCha
Introduction
Latin Dances
Salsa20
ChaCha
Attack on Latin Dances
Types of Distinguisher
Construction of Distinguisher
Distinguishing Attack Using Double-Bit Differentials
Experimental Results
Algorithm
Results
Concluding Remarks
References
Security Applications
Behavior Analysis-Based Dynamic Trust Measurement Model
Introduction
Integrity Measurement
Related Works
Contributions
Expected Behavior Description
Our Model
Model structure
Main Components
Data Structure Design
Implementations
Test and Evaluation
Test and Analysis
Security Analysis
Conclusions and Future Works
References
Improvement and Analysis of VDP Method in Time/Memory Tradeoff Applications
Introduction
Previous Works
Hellman Tradeoff
Rainbow Tradeoff
Distinguished Points Method
Variable Distinguished Points Method
Improvement of VDP Method
Construction of a Counter-Example to VDP Method
Main Idea of Our Improvemet
Applying the New Method to Hellman Tradeoff and Rainbow Tradeoff
Applying the New VDP Method to Hellman Tradeoff
Extending the New VDP Method to Rainbow Tradeoff
Comparison
Conclusion
References
Analyzing the Performance of Dither Modulation in Presence of Composite Attacks
Introduction
Review of DM and Problem
PDF Models
Performance Analysis
Experimental Results
Conclusion
References
Wireless Network Security
Applying Time-Bound Hierarchical Key Assignment in Wireless Sensor Networks
Introduction
Hierarchical Key Assignment for Distributed Systems
Time-Bound Hierarchical Key Assignment
Applying Time-Bound Hierarchical Key Assignment in WSNs: General Considerations
Case Study One: Protecting Data Privacy in Body Sensor Networks
Case Study Two: Enhancing Multicast Security
Conclusion
References
A Unified Security Framework for Multi-domain Wireless Mesh Networks
Introduction
System Models
Network Model
Trust Model
Cryptographic Background
Proposed Security Framework
Trust Domain Initialization
Intradomain Registration
Intradomain Authentication Protocols
Interdomain Authentication Protocol
Security Analysis
Performance Analysis
Conclusion
References
System Security
Ontology Model-Based Static Analysis of Security Vulnerabilities
Introduction
Overall Process
Modeling Language Specification and Bug Patterns Using Ontology Techniques
Modeling Java Specification
Modeling Bug and Vulnerability Patterns
Modeling Source Code and Vulnerability Reasoning
Slicing over Method and Variable
Extracting Program Slicing Criterion
Slicing over the Dependence Graphs
Generating OWL Individuals and Vulnerability Reasoning
Experiments and Analyses
Related Work
Conclusion and Future Work
References
A Multi-compositional Enforcement on Information Flow Security
Introduction
Motivating Example
Program Model and Security Property
Multi-compositional Enforcement
Model Construction
Model Transformation
Security Enforcement for Divergent Program
Evaluation
Conclusion
References
HyperCrop: A Hypervisor-BasedCountermeasure for Return OrientedProgramming
Introduction
Attack Scenario and Threat Model
ROP Attack Scenario
Threat Model and Assumption
System Design
Event Handling Component
Stack Marking Component
Breakpoint Locating Component
Stack Inspecting Component
Implementation
Modifications to Xen's Handlers
Marking the Stack
Locating Breakpoints
Inspecting the Stack Content
Evaluation
Effectiveness
Performance
Discussion
Related Work
Conclusion
References
An Efficient Finger-Knuckle-Print Based Recognition System Fusing SIFT and SURF Matching Scores
Introduction
Local Information
Scale Invariant Feature Transform
Speeded up Robust Features
Proposed System
Enhancement
Feature Extraction
Matching and Fusion
Experimental Results
Performance of the System against Scale
Performance of the System against Rotation
Speed
Conclusions
References
Network Security
Multivariate Correlation Analysis Technique Based on Euclidean Distance Map for Network Traffic Characterization
Introduction
Related Work
EDM Based Multivariate Correlation Analysis
Multivariate Correlation Extraction
Discussions
Experimental Results and Analysis
Experimental Data
Results and Analysis
Conclusions and Future Work
References
Situational Assessment of Intrusion Alerts: A Multi Attack Scenario Evaluation
Introduction
Limitations of Security Visualization Systems
Enhancing Situation Awareness via Automated Heuristic Functions
Exponential Smoothing
Exponential Smoothing Difference
Dispersion
Distinctive Set of Features
Heuristic Host Selection Algorithm
Avisa2: A Network Security Visualization System
Radial Visualization
Network Host Radial Panel.
Alert Category Dot Panel.
Information Stack
Experimental Results and Evaluation
Scenario 1: Network Infiltration from the Inside
Scenario 2: HTTP Denial of Service
Conclusion
References
Minimising Anonymity Loss in Anonymity Networks under DoS Attacks
Introduction
Related Work
Minimizing Users' Anonymity Loss
Preliminaries and Notations
Users' Protection Model
Evaluating the Anonymity Loss of the Strategies
Refined Protection Model
Re-modeling and the New Equilibrium
Predictions of Pik(m|F)
Conclusion
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken