Robert Timothy Johnson
EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2007-15
January 14, 2007
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-15.pdf
Advisor: David Wagner
BibTeX citation:
@phdthesis{Johnson:EECS-2007-15, Author = {Johnson, Robert Timothy}, Title = {Verifying Security Properties using Type-Qualifier Inference}, School = {EECS Department, University of California, Berkeley}, Year = {2007}, Month = {Jan}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-15.html}, Number = {UCB/EECS-2007-15} }
EndNote citation:
%0 Thesis %A Johnson, Robert Timothy %T Verifying Security Properties using Type-Qualifier Inference %I EECS Department, University of California, Berkeley %D 2007 %8 January 14 %@ UCB/EECS-2007-15 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-15.html %F Johnson:EECS-2007-15