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

Advisors: 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