Back to Results
First PageMeta Content
Mathematics / Model theory / Semantics / First-order logic / Linear temporal logic / Function / Atomic formula / Quantification / Predicate / Logic / Mathematical logic / Predicate logic


Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia
Add to Reading List

Document Date: 2014-11-11 20:30:18

Open Document

File Size: 376,53 KB

Share Result on Facebook

City

Chicago / /

Company

Intel / /

Country

United States / /

Currency

USD / /

/

Facility

Ponemon Institute / /

IndustryTerm

reduction algorithm / prototype tool / audit algorithm / real-time conditions / naive algorithm / after-the-fact audit tool / law enforcement / law-enforcement activities / enforcement algorithm / healthcare / /

OperatingSystem

Linux / /

Organization

Ponemon Institute / /

Person

Anupam Datta / A. DB / B. EVAL / Deepak Garg / Limin Jia / /

Position

ABSTRACT General / human auditor / auditor / probabilistic event scheduler / policy designer / /

Product

MLton / /

ProgrammingLanguage

MLton / SQL / Standard ML / Prolog / L / /

ProvinceOrState

Illinois / /

Technology

enforcement algorithm / RAM / artificial intelligence / relational database / Linux / disk drive / audit algorithm / naive algorithm / Caching / simulation / reduction algorithm / /

URL

http /

SocialTag