Results 61 to 70 of about 814,717 (190)
General Principles of Integrity Checking of Digital Images and Application for Steganalysis
Transport and Telecommunication, 2016 The new common approach for integrity checking of digital images is developed. The new features of formal parameters defining image are revealed, theoretically grounded and practically tested.
Kobozeva Alla A. +2 more
doaj +1 more source
Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol [PDF]
, 2006 We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity
Raimondi, F. +5 more
core
, 1955 The Advertising Checking Bureau's month employee publication, Outlook.
Advertising Checking Bureau
core
Outlook Pamphlet December, 1955
, 1955 The Advertising Checking Bureau's month employee publication, Outlook, from December ...
Advertising Checking Bureau
core
Checking LTL Properties of Recursive Markov Chains [PDF]
, 2005 We present algorithms for the qualitative and quantitative model checking of Linear Temporal Logic (LTL) properties for Recursive Markov Chains (RMCs). Recursive Markov Chains are a natural abstract model of procedural probabilistic programs and related ...
M. Yannakakis +3 more
core +1 more source
Instruction-level Real-time Secure Processor Using an Error Correction Code
Advances in Electrical and Computer Engineering, 2015 In this paper, we present a processor that detects security-attacks at the instruction level by checking the integrity of instructions in real time. To confirm the integrity of the instructions, we generate a parity chain of instructions and check them
YOON, S. M. +3 more
doaj +1 more source
Integrity checking protocol with identity-based proxy signature in mobile cloud computing
Tongxin xuebao, 2015 Based on provable data possession(PDP)model,a more perfect data integrity checking model for mobile cloud computing was proposed,in which there was an additional proxy party with stronger computing power to help the mobile users to calculate the block ...
Li YAN +5 more
doaj +2 more sources
International Journal of Distributed Sensor Networks, 2014 Wireless sensor networks (WSNs) are composed of sensor nodes with limited energy which is difficult to replenish. In-network data aggregation is the main solution to minimize energy consumption and maximize network lifetime by reducing communication ...
Liehuang Zhu +3 more
doaj +1 more source
Efficient Data Integrity Verification Using CRC Based on HDFS in Cloud Storage
ITM Web of Conferences, 2017 Data integrity verification is becoming a major challenge in cloud storage which can’t be ignored. This paper proposes an optimized variant of CRC (Checker Redundancy Cyclic) verification algorithm based on HDFS to improve the efficiency of data ...
Xia Yun-Hao +3 more
doaj +1 more source