Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.The 25 revised full papers presented together with 3 invited papers and  2 tutorials were carefully reviewed a...

Descripció completa

Guardat en:
Dades bibliogràfiques
Altres autors: Qadeer, Shaz (Director editorial), Tasiran, Serdar (Director editorial)
Format: Livre numérique
Idioma:Anglais
Publicat: Berlin, Heidelberg : Springer Berlin Heidelberg [20..].
Cham : Springer Nature
Edició:1st ed. 2013.
Col·lecció:Programming and Software Engineering 7687
Accés en línia:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Nota: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Runtime Verification, Texte imprimé, 9783642356315
• Runtime Verification, Texte imprimé, 9783642356339
Taula de continguts:
  • Multimedia Forensics and Counter-Forensics Blind Median Filtering Detection Using Statistics in Difference Domain Robustness of Color Interpolation Identification against Anti-forensic Operations Steganalysis Steganalysis of LSB Replacement Using Parity-Aware Features Statistical Detection of LSB Matching Using Hypothesis Testing Theory Textural Features for Steganalysis JPEG-Compatibility Steganalysis Using Block-Histogram of Recompression Artifacts Data Hiding in Unusual Content Hiding a Second Appearance in a Physical Relief Surface Blind Robust Watermarking Mechanism Based on Maxima Curvature of 3D Motion Data Steganography A Game-Theoretic Approach to Content-Adaptive Steganography Key-Efficient Steganography Covert Channels Secret Agent Radio: Covert Communication through Dirty Constellations Anonymity and Privacy Lower Bounds for Private Broadcast Encryption The Dangers of Composing Anonymous Channels Watermarking A New Measure of Watermarking Security Applied on QIM Non-Integer Expansion Embedding for Prediction-Based Reversible Watermarking Walsh-Hadamard Transform in the Homomorphic Encrypted Domain and Its Application in Image Watermarking Fingerprinting Asymptotic Fingerprinting Capacity in the Combined Digit Model Bias Equalizer for Binary Probabilistic Fingerprinting Codes