Verifying Security Properties using Type-Qualifier Inference
Robert Timothy Johnson
EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2007-15
January 14, 2007
http://www.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://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-15.html %F Johnson:EECS-2007-15