Search

Author:

Hicks, Boniface Patrick

Title:

Secure Systems Development Using Security-Typed Languages

Graduate Program:

Computer Science and Engineering

Keywords:

language-based security
Jif
security-typed language
information flow
security
secure software engineering

File:

Download e-thesis.pdf

Committee Members:

Patrick Drew Mcdaniel, Committee Chair/Co-Chair
John Joseph Hannan, Committee Member
Sencun Zhu, Committee Member
Trent Ray Jaeger, Committee Member
Stephen George Simpson, Committee Member
Michael Johannes Hicks, Committee Member