Abstract-Provenance, eller information om ursprung, härledning, eller historia av data, blir ett viktigt ämne särskilt för delade vetenskapliga eller offentliga data på webben. Det har uppenbarligen konsekvenser för säkerheten (och vice versa) men dessa konsekvenser är inte väl underbyggda. En hel del arbete har fokuserat på mekanismer för att spela in, hantera eller använda någon form av härkomst information, men relativt få framsteg har gjorts på grundmodeller som definierar härkomst och relaterar den till säkerhetsmål såsom tillgänglighet, sekretess eller integritet. Vi hävdar att sådana grundvalar är nödvändiga för att göra meningsfulla framsteg med dessa problem och att de bör utvecklas. I detta dokument skisserar vi en formell modell av härkomst, föreslår formaliseringar av säkerhetsegenskaper för härkomst såsom avslöjande och obfuscation, och utforska deras konsekvenser i domäner baserade på automata, databasfrågor och arbetsflöde härkomst grafer.
Cheney REF erbjuder en formell modell för härkomst där säkerhetsegenskaper som offentliggörande och obfuscation definieras, och komplexiteten i genomförandet av denna politik undersöks.
A Formal Framework for Provenance Security
{'venue': '2011 IEEE 24th Computer Security Foundations Symposium', 'journal': '2011 IEEE 24th Computer Security Foundations Symposium', 'mag_field_of_study': ['Computer Science']}