The VLDB Journal · 2000 · 20 citations · 10 references
ComputingComputer ScienceInformation SystemsDigital ForensicsFormal MethodsInteractive MediaDocument AuthenticationDocument PreservationModel CheckingMultimedia AuthoringTemporal LogicTimeline AnalysisDocument Integrity AssessmentIntegrityIntegrity CheckingTemporal Consistency ChecksTemporal Integrity Constraints
10