Statistics
Publications
1
Citations
104
H-Index
1
Active since
2006
Affiliations
Carnegie Mellon University(Current)
F. Pfenn is an author at Carnegie Mellon University specializing in policy-based access control, formal methods, and principals.
Publications per year
2006–2006
1
1
Non-Interference in Constructive Authorization Logic
Deepak Garg, F. Pfenn · 2006 · 104 citations
1–1 of 1