Search for dissertations about: "Observational equivalence"
Found 3 swedish dissertations containing the words Observational equivalence.
-
1. Essays on Growth Econometrics and Endogenous Information
Abstract : On Testing the Relationship between Human Capital and Economic Growth This paper investigates existing methodologies for testing the so-called Nelson-Phelps approach versus the Lucas approach. The paper shows that one cannot distinguish between these approaches using the existing methodologies. READ MORE
-
2. Equivalences and Calculi for Formal Verification of Cryptographic Protocols
Abstract : Security protocols are essential to the proper functioning of any distributed system running over an insecure network but often have flaws that can be exploited even without breaking the cryptography. Formal cryptography, the assumption that the cryptographic primitives are flawless, facilitates the construction of formal models and verification tools. READ MORE
-
3. Language Based Covert Channel Avoidance
Abstract : Common protection mechanisms fail to provide end-to-end security; programs with legitimate access to secret information are not prevented from leaking this to the world by accident or malice. Protecting the access to information is not enough to solve this problem. We have to ensure that the program uses the information in a secure way. READ MORE