Verification Scheme Research Articles

Optimal Witnessing of Healthcare IoT Data Using Blockchain Logging Contract

Verification of data generated by wearable sensors is increasingly becoming of concern to health service providers and insurance companies. There is a need for a verification framework that various authorities can request a verification service for the local network data of a target IoT device. In this paper, we leverage blockchain as a distributed platform to realize an on-demand verification scheme. This allows authorities to automatically transact with connected devices for witnessing services. A public request is made for witness statements on the data of a target IoT that is transmitted on its local network, and subsequently, devices (in close vicinity of the target IoT) offer witnessing service. Our contributions are threefold: (1) We develop a system architecture based on blockchain and smart contract that enables authorities to dynamically avail a verification service for data of a subject device from a distributed set of witnesses which are willing to provide (in a privacy-preserving manner) their local wireless measurement in exchange of monetary return; (2) We then develop a method to optimally select witnesses in such a way that the verification error is minimized subject to monetary cost constraints; (3) Lastly, we evaluate the efficacy of our scheme using real Wi-Fi session traces collected from a five-storeyed building with more than thirty access points, representative of a hospital. According to the current pricing schedule of the Ethereum public blockchain, our scheme enables healthcare authorities to verify data transmitted from a typical wearable device with the verification error of the order 0.01% at cost of less than two dollars for one-hour witnessing service.

Achieving Secure, Universal, and Fine-Grained Query Results Verification for Secure Search Scheme Over Encrypted Cloud Data

Secure search techniques over encrypted cloud data allow an authorized user to query data files of interest by submitting encrypted query keywords to the cloud server in a privacy-preserving manner. However, in practice, the returned query results may be incorrect or incomplete in the dishonest cloud environment. For example, the cloud server may intentionally omit some qualified results to save computational resources and communication overhead. Thus, a well-functioning secure query system should provide a query results verification mechanism that allows the data user to verify results. In this paper, we design a secure, easily integrated, and fine-grained query results verification mechanism, by which, given an encrypted query results set, the query user not only can verify the correctness of each data file in the set but also can further check how many or which qualified data files are not returned if the set is incomplete before decryption. The verification scheme is loose-coupling to concrete secure search techniques and can be very easily integrated into any secure query scheme. We achieve the goal by constructing secure verification object for encrypted cloud data. Furthermore, a short signature technique with extremely small storage cost is proposed to guarantee the authenticity of verification object and a verification object request technique is presented to allow the query user to securely obtain the desired verification object. Performance evaluation shows that the proposed schemes are practical and efficient.

FPGA based implementation of reversible data hiding scheme for content verification and quality access control of image

FPGA based implementation of reversible data hiding scheme for content verification and quality access control of image

FPGA based implementation of reversible data hiding scheme for content verification and quality access control of image

Reversible watermarking (RW) is the type of lossless data-hiding technique where the original object can be retrieved pixel by pixel at the receiver. This paper represents the hardware design for t...

A High‐Quality Authenticatable Visual Secret Sharing Scheme Using SGX

Visual cryptography scheme (VCS) is a secret‐sharing scheme which encrypts images as shares and can decrypt shares without digital devices. Although a participant can reveal the secret image by merely stacking a sufficient number of shares, the visual quality of recovered images is reduced, and malicious adversaries can cheat participants by giving faked shares. The paper presents a novel VCS called T‐VCS (trusted VCS) which consists of two main components: a high‐quality VCS and an enhanced verification scheme of shares based on the emerging Intel Software Guard eXtensions (SGX). While providing high‐quality recovery, T‐VCS keeps the size of the shares the same as the original secret image. We use SGX to act as a trusted third party (TTP) to verify the validity of the shares in an attested enclave without degrading the image quality. The experimental results show that T‐VCS can achieve a balance among contrast, share size, and verification efficiency.

Development and test of a novel neutronic verification scheme for Molten Salt Reactors

This paper presents the extension of a verification method of transient neutron transport solvers earlier developed to the case of Molten Salt Reactor (MSR). This method is based on the extraction of the point-kinetic response of a nuclear reactor excited by a mono-chromatic perturbation and on its subsequent comparison with a closed analytical form. Whereas a closed analytical form exists for systems with fixed fuel, no closed analytical form exists in the case of MSR, as highlighted by many authors. A workaround is nevertheless proposed in this work, thus giving the possibility to use a similar verification method to the case of MSR.

An Integrated Architecture for Maintaining Security in Cloud Computing Based on Blockchain

Due to its wide accessibility, cloud services are susceptible to attacks. Data manipulation is a serious threat to data integrity which can occur in cloud computing – a relatively new offering under the umbrella of cloud services. Data can be tampered with, and malicious actors could use this to their advantage. Cloud computing clients in various application domains want to be assured that their data is accurate and trustworthy. On another spectrum, blockchain is a tamper-proof digital ledger that can be used alongside cloud technology to provide a tamper-proof cloud computing environment. This paper proposes a scheme that combines cloud computing with blockchain that assures data integrity for all homomorphic encryption schemes. To overcome the cloud service provider’s (CSP) ultimate authority over the data, the proposed scheme relies on the Byzantine Fault Tolerance consensus to build a distributed network of processing CSPs based on the client requirements. After certain computations performed by all CSPs, they produce a master hash value for their database. To ensure immutable data is produced, master hash values are preserved in Bitcoin or Ethereum blockchain networks. The master hash values can be obtained by tracking the block header address for verification purposes. A theoretical analysis of the overhead costs associated with creating master hash values for each of the cryptocurrencies is presented. We found that Ethereum leads to lower client financial costs and better online performance than Bitcoin. We also specify the data security requirements the proposed scheme provides, the ground-level implementation, and future work. The proposed verification scheme is based on public cryptocurrency as a back-end service and does not require additional setup actions by the client other than a wallet for the chosen cryptocurrency.

Accuracy analysis and verification of the method for calculation of geodetic problem on earth ellipsoid surface

The method for calculation of geodetic problem on earth ellipsoid surface is the basic premise for the realization of high-precision marine delimitation technology. Based on the analysis of the construction principle of the existing solution of geodetic problem method, the algorithm for direct geodetic problem solution(DGPS) based on nested coefficient method and Bessel’s inverse geodetic problem solution(IGPS), which are suitable for various distance solutions, are optimized. Then, the experimental verification scheme of the solution of geodetic problem is designed. Finally, the crossing and reducing accuracy of different calculation examples are verified by different geodetic problem solution methods, and the experiment shows that: the verified accuracy of point-position plotting, distance calculation and azimuth calculation meet the requirements of the indexes of high-precision marine delimitation.

Verifiable Homomorphic Encrypted Computations for Cloud Computing

Cloud computing is becoming an essential part of computing, especially for enterprises. As the need for cloud computing increases, the need for cloud data privacy, con-fidentially, and integrity are also becoming essential. Among potential solutions, homomorphic encryption can provide the needed privacy and confidentiality. Unlike traditional cryptosys-tem, homomorphic encryption allows computation delegation to the cloud provider while the data is in its encrypted form. Unfortunately, the solution is still lacking in data integrity. While on the cloud, there is a possibility that valid homomorphically encrypted data beings swapped with other valid homomorphically encrypted data. This paper proposes a verification scheme based on the modular residue to validate homomorphic encryption computation over integer finite field to be used in cloud computing so that data confidentiality, privacy, and data integrity can be en-forced during an outsourced computation. The performance of the proposed scheme varied based on the underlying cryptosystems used. However, based on the tested cryptosystems, the scheme has 1.5% storage overhead and a computational overhead that can be configured to work below 1%. Such overhead is an acceptable trade-off for verifying cloud computation which is highly needed in cloud computing.

An Adaptive Correction Scheme for Offset-Free Asymptotic Performance in Deep Learning-based Economic MPC

Abstract There has been an increasing interest in explicit and cheap-to-evaluate control policies that approximate (computationally expensive) control laws such as model predictive control (MPC). However, approximate control policies are subject to approximation errors, leading to asymptotic performance losses. The contribution of this paper is three-fold: (i) a closed-loop training scheme is presented for deep neural network approximation of economic MPC; (ii) an online adaptive correction scheme is presented to account for the performance losses induced by approximation errors; and (iii) an offline performance verification scheme is presented to ensure that the approximate control policy converges to an equilibrium point of the system. The proposed approach is illustrated using a Williams-Otto reactor problem.

State verification scheme for means of measuring DC and AC electrical resistance

The need to develop a new state verification scheme (SVS) is caused by the emergence of high-precision bridges, resistance measures and boxes with a low temperature coefficient (0,02–0,5) ppm/К, highly stable transient measures, electronic resistance calibrators, and high frequency resistance measures. Recommendations how to assign the status of a working standard to measures, R-meters and measuring shunts with accuracy from 0,005 % to 0,500 %, sufficient for verification of measuring instruments, are given. SVS consists of two parts: part 1 covers electrical resistance measures, boxes and R-meters, part 2 – to measuring shunts and shunt resistance meters. Part 2 was introduced to the SVS for the first time. The revised indicators of accuracy for working standards of all levels are considered, conditions for the investigation of measuring instruments for assigning the status of a working standard, criteria for assessing metrological characteristics are given.

分片负载的多轮均衡化验证方案

分片负载的多轮均衡化验证方案

Comments on “Efficient Public Verification of Data Integrity for Cloud Storage Systems From Indistinguishability Obfuscation”

Recently, Zhang et al. proposed a novel public data integrity verification scheme for the cloud storage using indistinguishability obfuscation ( $iO$ ), and extend it to support batch verification and data dynamic operations ( IEEE Transactions on Information Forensics and Security , vol. 12, no. 3, pp. 676–688, Mar. 2017). However, we find that the scheme has two flaws: (a) the self-checking of the uploaded blocks and tags in Store phase is not reliable, i.e., it is easy to generate invalid block-tag pairs without being detected; (b) the extended scheme for data dynamic operations suffers from a chosen message attack, i.e., if some uploaded blocks match a certain pattern, the cloud storage is able to replace any existing block by a forged one without being detected, which violates the scheme’s security model. Then, we provide solutions to these problems while preserving all the desirable features of the original scheme.

Impact and analysis of electronic invoicing in the primary sector

Electronic invoicing in Mexico is considered under a tax verification scheme, derived by all sales and purchases made, either in a regular period or irregular period, by an economic authority, considering the egresses and also the income. In turn they can be used by buyers and also by sellers, offering the market a good or a service, expressing as a receipt to the authorities, whether federal, state or municipal, also used in internal and external audits. The electronic invoice is a document that verifies the making of a business transaction of a natural person or moral person to a natural or moral person depending on the assumption, and can be digitally or in printed form. This project is carried out in order to have a document that validates the inputs and outputs of goods, for this it is necessary to develop an Accounting-Administrative process, which processes the information and serves for the business management of the entity Granjero Feliz S de R.L de C.V., this process has an alternative that adapts to the rotation of said company which is the Marketing and transformation of pork cuts. The project is developed with the company information, which it has provided, for an accounting period. In this way, the referrals will be properly controlled. It is also important to mention that it can be easy for the authorities to give indications, under the grounds of laws where it obliges users, to use, develop or apply. Those provisions must also be analysed the situation raised which is addressed to the first sector, in this case it is applied to the primary sector, specifically to the primary sector, farmers. The purpose of this research is both to guide and structure the information of a farmer who, for different reasons, is unaware of federal and government provisions to be able to invoice. For the farmer it is very difficult, to understand and understand the tax provisions that challenge him, from the process of developing for obtaining the electronic signature, to the elaboration, issuance and cancellation of the invoice. This research aims to guide and support primary sector individuals, seeing it as an area of opportunity for their better understanding. Also to support you so that you know the administrative facilities from which you have benefit. Considering some of the objectives of this investigation, it is to manage the reality of the farmer's accounting, in accordance with tax procedures and provisions, giving a general diagnosis to the farmer, to contribute to decision-making in the electronic invoicing process. Considering the degree of knowledge of a farmer, he departed from there to provide support and to be able to apply a billing process, and knew the degree involved in this process, considering the obligations to which he is exposed, as part of this regime, of course that many farmers, do not know that they are obliged to invoice for sales made by the sale is a seed considering also in the mistake for the sale of livestock. In particular, the farmer's theme will be touched, through the billing process, thus giving a specific interpretation and analysis to each of the subject. The farmer's location is in a municipality belonging to Valle de Santiago, Gto. Mexico.

Impact and analysis of electronic invoicing in the primary sector

Electronic invoicing in Mexico is considered under a tax verification scheme, derived by all sales and purchases made, either in a regular period or irregular period, by an economic authority, considering the egresses and also the income. In turn they can be used by buyers and also by sellers, offering the market a good or a service, expressing as a receipt to the authorities, whether federal, state or municipal, also used in internal and external audits. The electronic invoice is a document that verifies the making of a business transaction of a natural person or moral person to a natural or moral person depending on the assumption, and can be digitally or in printed form. This project is carried out in order to have a document that validates the inputs and outputs of goods, for this it is necessary to develop an Accounting-Administrative process, which processes the information and serves for the business management of the entity Granjero Feliz S de R.L de C.V., this process has an alternative that adapts to the rotation of said company which is the Marketing and transformation of pork cuts. The project is developed with the company information, which it has provided, for an accounting period. In this way, the referrals will be properly controlled. It is also important to mention that it can be easy for the authorities to give indications, under the grounds of laws where it obliges users, to use, develop or apply. Those provisions must also be analysed the situation raised which is addressed to the first sector, in this case it is applied to the primary sector, specifically to the primary sector, farmers. The purpose of this research is both to guide and structure the information of a farmer who, for different reasons, is unaware of federal and government provisions to be able to invoice. For the farmer it is very difficult, to understand and understand the tax provisions that challenge him, from the process of developing for obtaining the electronic signature, to the elaboration, issuance and cancellation of the invoice. This research aims to guide and support primary sector individuals, seeing it as an area of opportunity for their better understanding. Also to support you so that you know the administrative facilities from which you have benefit. Considering some of the objectives of this investigation, it is to manage the reality of the farmer's accounting, in accordance with tax procedures and provisions, giving a general diagnosis to the farmer, to contribute to decision-making in the electronic invoicing process. Considering the degree of knowledge of a farmer, he departed from there to provide support and to be able to apply a billing process, and knew the degree involved in this process, considering the obligations to which he is exposed, as part of this regime, of course that many farmers, do not know that they are obliged to invoice for sales made by the sale is a seed considering also in the mistake for the sale of livestock. In particular, the farmer's theme will be touched, through the billing process, thus giving a specific interpretation and analysis to each of the subject. The farmer's location is in a municipality belonging to Valle de Santiago, Gto. Mexico.

Impact and analysis of electronic invoicing in the primary sector

Electronic invoicing in Mexico is considered under a tax verification scheme, derived by all sales and purchases made, either in a regular period or irregular period, by an economic authority, considering the egresses and also the income. In turn they can be used by buyers and also by sellers, offering the market a good or a service, expressing as a receipt to the authorities, whether federal, state or municipal, also used in internal and external audits. The electronic invoice is a document that verifies the making of a business transaction of a natural person or moral person to a natural or moral person depending on the assumption, and can be digitally or in printed form. This project is carried out in order to have a document that validates the inputs and outputs of goods, for this it is necessary to develop an Accounting-Administrative process, which processes the information and serves for the business management of the entity Granjero Feliz S de R.L de C.V., this process has an alternative that adapts to the rotation of said company which is the Marketing and transformation of pork cuts. The project is developed with the company information, which it has provided, for an accounting period. In this way, the referrals will be properly controlled. It is also important to mention that it can be easy for the authorities to give indications, under the grounds of laws where it obliges users, to use, develop or apply. Those provisions must also be analysed the situation raised which is addressed to the first sector, in this case it is applied to the primary sector, specifically to the primary sector, farmers. The purpose of this research is both to guide and structure the information of a farmer who, for different reasons, is unaware of federal and government provisions to be able to invoice. For the farmer it is very difficult, to understand and understand the tax provisions that challenge him, from the process of developing for obtaining the electronic signature, to the elaboration, issuance and cancellation of the invoice. This research aims to guide and support primary sector individuals, seeing it as an area of opportunity for their better understanding. Also to support you so that you know the administrative facilities from which you have benefit. Considering some of the objectives of this investigation, it is to manage the reality of the farmer's accounting, in accordance with tax procedures and provisions, giving a general diagnosis to the farmer, to contribute to decision-making in the electronic invoicing process. Considering the degree of knowledge of a farmer, he departed from there to provide support and to be able to apply a billing process, and knew the degree involved in this process, considering the obligations to which he is exposed, as part of this regime, of course that many farmers, do not know that they are obliged to invoice for sales made by the sale is a seed considering also in the mistake for the sale of livestock. In particular, the farmer's theme will be touched, through the billing process, thus giving a specific interpretation and analysis to each of the subject. The farmer's location is in a municipality belonging to Valle de Santiago, Gto. Mexico.

Fault Diagnosis Reasoning Algorithm for Electromechanical Actuator Based on an Improved Hybrid TFPG Model

As a new generation of power-by-wire actuators, electromechanical actuators are finding increasingly more applications in the aviation field. Aiming at the application problem of the fault diagnosis of the electromechanical actuator, an improved diagnosis reasoning algorithm based on a hybrid timed failure propagation graph (TFPG) model is proposed. On the basis of this hybrid TFPG model, the activation conditions of OR and causality among nodes are given. The relationship discrepancy node is transformed into a relationship node and discrepancy node, which unifies the model storage process. The backward and forward extension operations of hypothesis generation and updating are improved. In the backward expansion operation, the specific process of backward update from non-alarm nodes is given, and the judging logic of the branch of relationship nodes is added, which guarantees the unity of the algorithm framework and the accuracy of the time update. In the forward expansion operation, the update order is adjusted to ensure the accuracy of the node update for the case of multiple parents. A hybrid TFPG model of the electromechanical actuator is established in the general modeling environment (GME), and a systematic verification scheme with two simulation types is tested with the application of the P2020 reference design board (RDB) and VxWorks 653 system. The results show that the proposed algorithm can realize the fault diagnosis of the electromechanical actuator as well as fault propagation prediction.

A New Efficient and Secure Secret Reconstruction Scheme (SSRS) with Verifiable Shares Based on a Symmetric Bivariate Polynomial

Secret sharing (SS) schemes have been widely used in secure computer communications systems. Recently, a new type of SS scheme, called the secure secret reconstruction scheme (SSRS), was proposed, which ensures that the secret can only be recovered by participants who present valid shares. In other words, if any outside adversary participated in the secret reconstruction without knowing any valid share, the secret cannot be recovered by anyone including the adversary. However, the proposed SSRS can only prevent an active attacker from obtaining the recovered secret, but cannot prevent a passive attacker from obtaining the secret since exchange information among participants is unprotected. In this paper, based on bivariate polynomials, we propose a novel design for the SSRS that can prevent both active and passive attackers. Furthermore, we propose a verification scheme which can verify all shares at once, i.e., it allows all shareholders to efficiently verify that their shares obtained from the dealer are generated consistently without revealing their shares and the secret. The proposed scheme is really attractive for efficient and secure secret reconstruction in communications systems.

Widespread Review of Vehicular Ad Hoc Network

In this paper, main objective is collecting the information from road side traffic and share the collected information. The Identity based Batch verification (IBV) scheme is one such scheme, which makes VANET more secure and efficient maintaining privacy through anonymity and reduction of verification time of messages by verifying the min batch, are the ideas of this scheme. This paper highlights the security issues of the current IBV scheme and introduces the concept of the random change of anonymous identity with time as well as location, to prevent the security attack and to maintain the privacy. In this scheme, performances are evaluated in terms of delay and transmission overhead.

Методика трибодиагностики двигателей Д-30КУ/КП с применением СВЧ плазменного комплекса: результаты метрологической экспертизы и анализа точности

The article contains the results of the metrological examination and research of the accuracy indicators of a method for diagnosing aircraft gas turbine engines of the D30KU/KP family using an ultra-high-frequency plasma complex. The results of metrological examination of a complete set of regulatory documents related to the diagnostic methodology, and an analysis of the state of metrological support are provided as well. During the metrological examination, the traceability of a measuring instrument (diagnostics) – an ultrahigh-frequency plasma complex – is evaluated based on the scintillation analyzer SAM-DT-01–2. To achieve that, local verification schemes from the state primary standards of the corresponding types of measurements were built. The implementation of measures to eliminate inconsistencies identified during metrological examination allows to reduce to an acceptable level the metrological risks of adverse situations when carrying out aviation activities in industry and air transportation. In addition, the probability of occurrence of errors of the first and second kind in the technological processes of tribodiagnostics of aviation gas turbine engines is reduced when implementing a method that has passed metrological examination in real practice. At the same time, the error in determining ratings and wear indicators provides acceptable accuracy indicators and sufficient reliability in assessing the technical condition of friction units of the D-30KP/KP2/KU/KU-154 aircraft engines.