eTD Explore

Start Over Committee Member Trent Ray Jaeger Keyword security Keyword language-based security Keyword security-typed language

Open Access

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

Search