Information and Communication Security
13th International Conference, ICICS 2011, Beijing, China, November 23-26, 2011, Proceedings
Published on 2. November 2011
XIII, 432 pages
978-3-642-25243-3 (ISBN)
Description
This book constitutes the refereed proceedings of the 13th International Conference on Information and Communications Security, ICICS 2011, held in Beijing, China, in November 2011. The 33 revised full papers presented together with an invited talk were carefully reviewed and selected from 141 submissions. The papers are organized in topical sections on digital signatures, public key encryption, cryptographic protocols, applied cryptography, multimedia security, algorithms and evaluation, cryptanalysis, security applications, wireless network security, system security, and network security.
More details
Other editions
Additional editions
Sihan Qing | Willy Susilo | Guilin Wang
Information and Communication Security
13th International Conference, ICICS 2011, Beijing, China, November 23-26, 2011, Proceedings
Book
11/2011
Springer
€53.49
Shipment within 5-7 days
Content
- 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
