File verification

Abstract: File verification is provided for medical imaging systems, other medical systems or other systems. The verification is performed on an install media prior to installation. For example, data for an upgrade package is transmitted over a computer network. The data is then copied to a compact disc or the RAM of a system to be updated. The copy on the compact disc or the RAM of the system to be updated is verified. Multiple verifications may be performed, such as verifying received data before copying to an install media, verifying on an install media remote from a system to be updated, and verifying on the system to be updated. The verification may be performed separately for each of a plurality of different files in an upgrade package or on an install media. In one embodiment, an MD5 algorithm is used for verification.

Abstract: Software failures resulting from configuration errors have become commonplace as modern software systems grow increasingly large and more complex. The lack of language constructs in configuration files, such as types and grammars, has directed the focus of a configuration file verification towards building post-failure error diagnosis tools. In addition, the existing tools are generally language specific, requiring the user to define at least a grammar for the language models and explicit rules to check. In this paper, we propose a framework which analyzes datasets of correct configuration files and derives rules for building a language model from the given dataset. The resulting language model can be used to verify new configuration files and detect errors in them. Our proposed framework is highly modular, does not rely on the system source code, and can be applied to any new configuration file type with minimal user input. Our tool, named ConfigC, relies on an abstract representation of language rules to allow for this modularity. ConfigC supports learning of various rules, such as orderings, value relations, type errors, or user defined rules by using a probabilistic type inference strategy and defining a small interface for the rule type.

Abstract: A secure file verification station receives and stores a data file received from a trusted source. The verification station applies a hashing function to the data file, and then encrypts the hash using a unique symmetric encryption key derived from a seed value that is maintained securely within the verification station. The encrypted hash is then appended to the data file. The station is networked to client workstations to which it delivers data files. To verify the integrity of a data file it has received from the verification station, a client workstation sends back the data file to the station, where the encrypted hash is decrypted using the unique symmetric key that is again generated from the seed value. A recomputed hash of the data is compared to the decrypted hash value. If the two hash values are equal, the integrity of the data is verified; otherwise the file has been modified in some way. The verification station sends a message to the client workstation indicating whether or not the integrity of the data file has been verified.

Abstract: The invention relates to a method and a system for uploading files. The method includes that a user selects files to be uploaded and submits hashed value of the files to be uploaded. A request for file uploading and based on HTTP POST is sent to a server. File type of the files to be uploaded is judged, the next step is conducted on yes judgment, and failure warning is returned to the user to finish uploading on no judgment. The method further includes recognizing content of the files to the uploaded, reminding the user that identical files exist, returning pre-existing file address and finishing uploading if identical files exist in the server, starting uploading if no identical files exist in the server, calculating the hashed value of the uploaded files, comparing the hashed value with submitted hashed value, reminding that file uploading succeeds, returning the file address to the user and finishing uploading if the values are identical, and returning the uploading failure warning and finishing uploading if the values are not identical. The method and the system resolve the problems of synonym file re-uploading, file type judgment, file verification and the like.