Back to Results
First PageMeta Content
Parity / Parity of a permutation / Permutations / Symbol / Curry–Howard correspondence / Model theory / Orbifold / Mathematics / Proof theory / Group theory


Evidence-based Audit Jeffrey A. Vaughan Limin Jia Karl Mazurak
Add to Reading List

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

Open Document

File Size: 495,76 KB

Share Result on Facebook

Company

Si / /

Currency

pence / /

Facility

Evidence-based Audit Jeffrey A. Vaughan Limin Jia Karl Mazurak Steve Zdancewic University of Pennsylvania Abstract Despite / /

IndustryTerm

e.g. proof search / software components / software vulnerabilities / secure systems / trusted computing base / type systems / subsequent audit / bank server / secure software / /

OperatingSystem

Unix / /

Organization

Audit Jeffrey A. Vaughan Limin Jia Karl Mazurak Steve Zdancewic University of Pennsylvania Abstract Despite / /

Person

Abstraction / /

Position

C. An administrator / auditor / malicious programmer / /

Product

Signature Injection / /

ProgrammingLanguage

R / K / /

Technology

operating system / operating systems / firewall / ASCII / /

SocialTag