Search

Start Over Year 2008 Keyword security

3. Secure Systems Development Using Security-Typed Languages

open_access
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

4. Characterizing the Impact if Rigidity on the Security of Cellular Telecommunications Networks

open_access
Open Access
Author:
Traynor, Patrick Gerard
Title:
Characterizing the Impact if Rigidity on the Security of Cellular Telecommunications Networks
Graduate Program:
Computer Science and Engineering
Keywords:
sms
security
cellular networks
File:
Download dissertation.pdf
Committee Members:
Thomas La Porta, Committee Chair/Co-Chair
Patrick Drew Mcdaniel, Committee Chair/Co-Chair
Trent Ray Jaeger, Committee Member
Guohong Cao, Committee Member
Aylin Yener, Committee Member