System and method for verifying the integrity and...

Details System and method for verifying the integrity and... System and method for verifying the integrity and...

2008-06-05

2011-11-08

Vital, Pierre (Department: 2156)

Data processing: database and file management or data structures

Data integrity

Using checksum

C707S700000

Reexamination Certificate

active

08055635

ABSTRACT:
A correctness verification system receives a query, executes the query using a query logic, and produces a query result. The query result comprises data records that satisfy the query, data verification objects associated with the data records, index segments accessed during the execution of the query, index verification objects associated with the index segments, and the query. The system transfers the query result to a verification system. The verification system verifies correctness of the query result by executing the query using the query logic. The verification system uses the data verification objects to verify integrity of the data objects, uses the index verification objects to verify the integrity of the index segments, and uses the index verification objects and the data verification objects to verify the completeness of the query result.

REFERENCES:
patent: 5136647 (1992-08-01), Haber et al.
patent: 5870739 (1999-02-01), Davis et al.
patent: 6021491 (2000-02-01), Renaud
patent: 6115720 (2000-09-01), Bleizeffer et al.
patent: 6167393 (2000-12-01), Davis et al.
patent: 6976165 (2005-12-01), Carpentier et al.
patent: 7048687 (2006-05-01), Reuss et al.
patent: 7096493 (2006-08-01), Liu
patent: 7203671 (2007-04-01), Wong
patent: 7343377 (2008-03-01), van Opdorp
patent: 7584223 (2009-09-01), Pinkas et al.
patent: 2004/0039917 (2004-02-01), Ross
patent: 2004/0133589 (2004-07-01), Kiessig et al.
patent: 2004/0193572 (2004-09-01), Leary
patent: 2005/0138046 (2005-06-01), Miettinen et al.
patent: 2005/0228832 (2005-10-01), Ghotge et al.
patent: 2005/0273592 (2005-12-01), Pryor et al.
patent: 2006/0020685 (2006-01-01), Spens et al.
patent: 2006/0041421 (2006-02-01), Ta et al.
patent: 2006/0112096 (2006-05-01), Ahluwalia et al.
patent: 2006/0206669 (2006-09-01), Zhu et al.
patent: 2006/0248052 (2006-11-01), Zurek
patent: 2006/0259459 (2006-11-01), Wu et al.
patent: 2006/0259950 (2006-11-01), Mattsson
patent: 2007/0028307 (2007-02-01), Murison et al.
Types for correctness of queries over semistructured data, Colazzo et al, 5th International Workshop on the Web and databases (WebDB'02) Jun. 6-7, 2002.
Partial result for online query processing, Vijayshankar et al, ACM SIGMOD' Jun. 4-6, 2002.
Implementing a Tamper-Evident Database System, Miklau et al, LNCS 3818 pp. 28-48, 2005.
Query Execution Assurance for Outsource Data, Sion et al, Proceedings of the 31st VLDB Conference,Norway 2005.
Stein, C.A. et al., “Unifying File System Protection”, Jun. 2000, Proceedings of the 2001 USENIX Annual Technical Conference, pp. 79-90.
Ashar, S.M., et al., “Message Encryption with Image Processing”, Dec. 2003, Proceedings INMIC 2003, 7thInternational Multi-topic Conference, pp. 7-15.
Mahimkar, A., et al., “Securedav: A Secure Data Aggregation and Verification Protocol for Sensor Networks,” Dec. 2004, Globecom 2004, IEEE Global Telecommunications Conference, vol. 4, pp. 2175-2179.
Liophanich, C., “An Automatic E-Evidence Archival System,” Aug. 2005, 2005 3rdIEEE International Conference on Industrial Informatics (INDIN), pp. 209-214.
Verifying Completeness of Relational Query Results in Data Publishing, SIGMOD Jun. 14-15, 2006, Pang et al.
Office Action from U.S. Appl. No. 11/672,831 dated Jan. 2, 2009.
Notice of Allowance from U.S. Appl. No. 11/672,831 dated Jun. 4, 2009.
Verified query results from hybrid authentication trees, Glen et ai, Data and application security 2005, LNCS 3654, pp. 84-98, 2005.
Authenticating query results in edge computing, Pang et ai, proceedings of the 20th international conference on data engineering (ICDE'04).
An approach to ensure integrity of outsourced databases using signature aggregation and chaining, Narasimha et ai, school of information and computer science, University of California (2005).
Authentic third-party data publication, Devanbu et ai, department of computer science, University of California (1999).

Affiliated with

Also associated with

Rating

System and method for verifying the integrity and... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System and method for verifying the integrity and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for verifying the integrity and... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4310331