Sökning: "Observational equivalence"

Hittade 3 avhandlingar innehållade orden Observational equivalence.

  1. 1. Essays on Growth Econometrics and Endogenous Information

    Författare :Tobias Heinrich; John Hassler; José Vicente Rodríguez Mora; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Distinguishability; Observational equivalence; Cointegration; Similarity-Based Expectation Formation; Case-Based Decision Theory; Information Gathering; Discrimination; Economics; Nationalekonomi; Economics; nationalekonomi;

    Sammanfattning : 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. LÄS MER

  3. 2. Equivalences and Calculi for Formal Verification of Cryptographic Protocols

    Författare :Johannes Borgström; Uwe Nestmann; Thomas A Henzinger; Martin Odersky; Andrew D Gordon; Viktor Kuncak; Björn Victor; EPFL; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 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. LÄS MER

  4. 3. Language Based Covert Channel Avoidance

    Författare :Daniel Hedin; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 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. LÄS MER