Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
SOFTWARE MODEL CHECKING FOR CONFIDENTIALITY
 

Summary: SOFTWARE MODEL CHECKING FOR
CONFIDENTIALITY
Pavol Cern´y
A DISSERTATION
in
Computer and Information Science
Presented to the Faculties of the University of Pennsylvania in Partial
Fulfillment of the Requirements for the Degree of Doctor of Philosophy
2009
Rajeev Alur
Supervisor of Dissertation
Jianbo Shi
Graduate Group Chairperson
COPYRIGHT
Pavol Cern´y
2009
To my parents, Vladim´ir and M´aria Cern´i
iii
Acknowledgments
This thesis would not have been possible without the help of many people. I would

  

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

 

Collections: Computer Technologies and Information Sciences