Search for dissertations about: "security testing"

Showing result 11 - 15 of 66 swedish dissertations containing the words security testing.

  2. 11. Proving Safety and Security of Binary Programs

    Author : Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

    Abstract : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. READ MORE

  4. 12. A Quantitative Approach to Computer Security from a Dependability Perspective

    Author : Erland Jonsson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; intrusions; computers; modelling; vulnerability; dependability evaluation; experimentation; terminology; operational security; reliability; concepts; measures;

    Abstract : Security and dependability represent two very important attributes of modern computer systems, especially in the light of the increasing complexity and criticality of these systems. These two disciplines have traditionally been treated separately, although lately some attempts have been made to integrate them. READ MORE

  5. 13. The Hole Story: Type-Directed Synthesis and Repair

    Author : Matthías Páll Gissurarson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Types; Security; Program Repair; Compilers; Program Synthesis;

    Abstract : Modern programs in languages like Haskell include a lot of information beyond what is strictly required for compilation, such as additional type information, unit tests and properties. This information is often used for post-compilation verification, by running the tests to verify that the code-as-written matches the specification provided by the types and properties. READ MORE

  6. 14. Quality of Test Design in Test Driven Development

    Author : Adnan Čaušević; Sasikumar Punnekkat; Henry Muccini; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; agile; software testing; test driven development; quality of tests; developer testing; test design quality; Computer Science; datavetenskap;

    Abstract : One of the most emphasised software testing activities in an Agile environment is the usage of the Test Driven Development (TDD) approach. TDD is a development activity where test cases are created by developers before writing the code, and all for the purpose of guiding the actual development process. READ MORE

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

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

    Abstract : 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. READ MORE