Avancerad sökning

Visar resultat 6 - 10 av 23 avhandlingar som matchar ovanstående sökkriterier.

  1. 6. Tracking Dependencies for Security and Privacy

    Författare :Arnar Birgisson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Programming Languages; Software Security; Web Security;

    Sammanfattning : Information Flow Control is a well established field of research, providing asuite of theoretical and practical results. However, adoption to real worldsystems has yet to catch up. This thesis seeks to expand the boundaries ofthis field, in particular with the aim of making Information Flow Control moreapplicable to real world scenarios. LÄS MER

  3. 7. Law Enforcement Large-Scale IT Systems in EU Internal Security and Migration Policies

    Författare :Zoltán Dóczi; Erzsébet Sándor Szalayné; Hungary Pécs University of Pécs; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Schengen; large-scale IT systems; law enforcement; eu-LISA; smart borders information power; security deficit; facilitate travel;

    Sammanfattning : Borderless Europe raises the problem of increased security deficit. One of its segments may be counterbalanced by the control of immigration flow at the external borders that consists of three endeavours: the common border control policy, the common visa policy and the common asylum policy. LÄS MER

  4. 8. Controlling Weapons of Mass Destruction : An Evaluation of International Security Regime Significance

    Författare :Charles F. Parker; Michael Zürn; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Political science; Regimes; security; international cooperation; compliance; weapons of mass destruction; arms control; non-proliferation; nuclear weapons; biological weapons; chemical weapons; NPT; BTWC; CWC; CTBT; Statsvetenskap; Political science; Statsvetenskap; statskunskap; Political Science;

    Sammanfattning : This dissertation conducts an in-depth examination of the three weapons of mass destruction control regimes: the nuclear non-proliferation regime, the biological weapons control regime, and the chemical weapons control regime (NBC weapon control regimes). By examining a number of key indicators, this study investigates the specific ways each regime makes or does not make a difference in its respective issue area. LÄS MER

  5. 9. A Policy Semantics and a Programming Language for Securing Software

    Författare :Bart van Delft; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; datalog; static enforcement; security policy language; information flow;

    Sammanfattning : The work presented in this thesis contributes to the information flowpolicy specification language Paralocks and the enforcement of Paralockspolicies in the programming language Paragon.The thesis starts with a programming tutorial on Paragon. LÄS MER

  7. 10. Controlling Dependencies for Security and Privacy

    Författare :Arnar Birgisson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; dependency analysis; information security; information flow; privacy; information integrity; information confidentiality;

    Sammanfattning : This thesis explores several ways to diversify the field of Information Flow Control. At the heart of the field lie on one hand policies for describing limitations on information dependencies induced by a program, and on the other hand mechanisms to enforce such policies. LÄS MER