| 1. |
- Funke, Michael, 1966-
(författare)
-
Regulating a Controversy : Inside Stakeholder Strategies and Regime Transition in the Self-Regulation of Swedish Advertising 1950–1971
- 2015
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- This thesis concerns the development of the self-regulation of advertising in Sweden from 1950 until 1971. Self-regulation was initiated in the 1930s due to a business desire to regulate fair competition in marketing, and while it initially was a minor operation, the 1950s and 1960s were characterized by extensive development. When self-regulation was overtaken by state policies in 1971, it included several interlocking systems, of which parts survived the introduction of the state regime. The thesis’ aim has been to analyze how the rapid regime transitions in the self-regulation regime can be understood.The existing literature identifies four major transitions that occurred during the studied time period. To understand them, the thesis has studied the policy processes leading up to these transitions. Focus has been on the business interest organizations that controlled the regime and their regulatory strategies. Theoretically, the analysis has departed from the hypothesis that tensions between these organizations, due to their members’ different market interests and varying levels of exposure to regulation and public badwill, to a significant degree informed their strategic choices as well as policy outcomes.The results show that the policy processes preceding the regime transitions were characterized by internal tensions, whereby organizations representing advertisers, and to a lesser degree media carriers, due to their members’ higher level of exposure to regulation and public badwill, successfully supported stronger market policing, while ad agencies, being less exposed, as well as a peak industry organization for the proliferation of marketing largely opposed such measures, preferring a more lenient regulation. However, due to increased exposure to regulation and bad will, the ad agencies finally abandoned their opposition and took the lead in regulatory innovation through the introduction of an extensive clearance program that survived the launch of the state regime, becoming a key component in the co-regulatory structure that followed.
|
|
| 2. |
- Borgström, Johannes
(författare)
-
Equivalences and Calculi for Formal Verification of Cryptographic Protocols
- 2008
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)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. Such models are often based on process calculi, small formal languages for modelling communicating systems. The spi calculus, a process calculus for the modelling and formal verification of cryptographic protocols, is an extension of the pi calculus with cryptography. In the spi calculus, security properties can be formulated as equations on process terms, so no external formalism is needed. Moreover, the contextual nature of observational process equivalences takes into account any attacker/environment that can be expressed in the calculus. We set out to address the problem of automatic verification of observational equivalence in an extension of the spi calculus: A channel-passing calculus with a more general expression language. As a first step, we study existing non-contextual proof techniques for a particular canonical contextual equivalence. In contrast to standard process calculi, reasoning on cryptographic processes must take into account the partial knowledge of the environment about transmitted messages. In the setting of the spi calculus, several notions of environment-sensitive bisimulation has been developed to treat this environment knowledge. We exhibit distinguishing examples between several of these notions, including ones previously believed to coincide. We then give a general framework for comparison of environment-sensitive relations, based on a comparison of the corresponding kinds of environment and notions of environment consistency. Within this framework we perform an exhaustive comparison of the different bisimulations, where every possible relation that is not proven is disproven. For the second step, we consider the question of which expression languages are suitable. Extending the expression language to account for more sophisticated cryptographic primitives or other kinds of data terms quickly leads to decidability issues. Two important problems in this area are the knowledge problem and an indistinguishability problem called static equivalence. It is known that decidability of static equivalence implies decidability of knowledge in many cases; we exhibit an expression language where knowledge is decidable but static equivalence is not. We then define a class of constructor-destructor expression languages and prove that environment consistency over any such language directly corresponds to static equivalence in a particular extension thereof. We proceed to place some loose constraints on deterministic expression evaluation, and redefine the spi calculus in this more general setting. Once we have chosen an expression language, we encounter a third problem, which is inherent in the operational semantics of message-passing process calculi: The possibility to receive arbitrary messages gives rise to infinite branching on process input. To mitigate this problem, we define a symbolic semantics, where the substitution of received messages for input variables never takes place. Instead, input variables are only subject to logical constraints. We then use this symbolic semantics to define a symbolic bisimulation that is sound and complete with respect to its concrete counterpart, extending the possibilities for automated bisimulation checkers.
|
|
| 3. |
- Gossas, Thomas, 1976-
(författare)
-
Protease Activity, Inhibition and Ligand Interaction Analysis : Developments and Applications for Drug Discovery
- 2007
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- The present study has focused on characterising protease-ligand interactions in the context of drug discovery. The proteases that have been studied are human matrix metallopeptidase 12 (MMP-12), HIV-protease and Hepatitis C virus (HCV) NS3/NS4A protease. These studies have involved kinetic characterisation of protease-inhibitor interactions using biosensor technology, as well as determination of inhibition and activity regulation by using activity assays.The regulation of MMP-12 activity by calcium was proposed, based on the study of the calcium dependence of MMP-12 activity. Furthermore, it was shown that the high affinity of hydroxamate-based inhibitors of MMP-12 were due to slow dissociation of the enzyme-inhibitor complex by using a new biosensor assay for the study of interactions between MMP-12 and ligands.A study of the pH-dependency of protease-inhibitor interactions revealed that the interaction kinetics of HIV-protease inhibitors differed with pH in a way that could be related to the inhibitor structures. This suggested that the forces of interaction are different in the association and dissociation phases of an interaction. Furthermore, it demonstrated the usefulness of pH as a variable in characterising protein-ligand interactions.Results applicable in the discovery of drugs against Hepatitis C were obtained, with the analysis of structure-activity relationships of novel inhibitors. Furthermore, the mode of binding imposed by key functional groups of the inhibitors was explored by investigating the effect of pH on the interactions with NS3.The results show the importance of using appropriate model systems for drug discovery by selecting relevant targets and assay conditions. Furthermore, the usefulness of kinetic rate information in drug discovery is demonstrated. Thus, by contributing to the knowledge of protease-ligand interactions, applicable to both protease inhibitor interactions and protease activity regulation, this thesis is expected to have an impact on the field of protease inhibitor development and drug discovery in general.
|
|
| 4. |
- Kazen, Thomas, 1960-
(författare)
-
Jesus and Purity Halakhah : Was Jesus Indifferent to Impurity?
- 2002
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- At the end of the Second Temple period, ritual purity came to play an increasing role in Jewish society. Purity laws were interpreted and expanded, and sources of impurity were generally avoided by many. Signs of that development are discussed in this study and put forward as arguments for an expansionist trend, gaining in influence and support from the common people. Jesus’ attitude to impurity is traced against this historical background. The (in)famous history of historical Jesus-research necessitates a conscious choice of method. The traditional focus on sayings material and criteria of authenticity is modified; narrative traditions with implicit purity issues are appealed to, and extra-canonical traditions are included. The main areas examined are the most important "fathers" of impurity: "leprosy" (skin diseases), genital discharges and corpse-contamination. Jesus is found to have acted in ways easily understood as indifference to these types of impurity. His behaviour is shown on several points to clash with current purity halakhah and dominant expansionist ideals. In an attempt to interpret his actions within the Jewish context and culture of the Second Temple period, three explanatory models are provided. Jesus’ attitude is seen as part of a moral trajectory in Judaism. It is understood as a response to a regional, Galilean dilemma. It is viewed in a power perspective as an expression of Jesus’ eschatological struggle against demonic evil. The result is that Jesus may be understood as operating within the purity paradigm of his time, yet pushing it to the breaking point, at least in the eyes of some. Such a reconstruction makes subsequent developments intelligible, in which various Christian currents drew conflicting conclusions. The function and effect of purity laws change with time, however. While they are irrelevant to most modern people, those looking to Jesus’ behaviour for some sort of guidance may find contemporary analogies.
|
|
