Concepedia

William C. Garrison

WC

Statistics

Publications

3

Citations

101

H-Index

3

Active since

2013

Affiliations

University of Pittsburgh(Current)

William C. Garrison is an author at University of Pittsburgh specializing in access control, data security, and formal verification.

Top concepts

EngineeringData SecurityAccess ControlFormal MethodsComputer ScienceFormal VerificationInformation SecurityCryptographySystem SoftwareProgram Analysis

Publications per year

2013–2016

3

Publications

3

On the Practicality of Cryptographically Enforcing Dynamic Access Control Policies in the Cloud

William C. Garrison, Adam Shull, Steven Myers et al. · 2016 · 66 citations

Secure Service, Engineering, Information Security +19

Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness

Timothy L. Hinrichs, Diego Martinoia, William C. Garrison et al. · 2013 · 24 citations · Full text

Engineering, Information Security, Software Analysis +17

An actor-based, application-aware access control evaluation framework

William C. Garrison, Adam J. Lee, Timothy L. Hinrichs · 2014 · 11 citations

Engineering, Information Security, Software Engineering +17

Rows per page

1–3 of 3