PE-ICE: Parallelized Encryption and Integrity Checking Engine.

Reouven Elbaz Lionel Torres Gilles Sassatelli Pierre Guillemin Michel Bardouillet

Published in: DDECS (2006)

Keyphrases

integrity checking
integrity constraints
deductive databases
hard and soft constraints
constraint logic programming
semantic query optimization
encryption scheme
logic programming
secret key
software engineering
general purpose
incomplete information