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