Search for dissertations about: "Irem Aktug"

Found 2 swedish dissertations containing the words Irem Aktug.

  2. 1. State space representation for verification of open systems

    Author : Irem Aktug; Mads Dam; Parosh Abdulla; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi;

    Abstract : When designing an open system, there might be no implementation available for cer- tain components at verification time. For such systems, verification has to be based on assumptions on the underspecified components. In this thesis, we present a framework for the verification of open systems through explicit state space representation. READ MORE

  4. 2. Algorithmic Verification Techniques for Mobile Code

    Author : Irem Aktug; Dilian Gurov; Mads Dam; Ulfar Erlingsson; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Verification; Mobile Code Security; Reference Monitoring; Maximal Models; Compositional Verification; Theoretical computer science; Teoretisk datalogi;

    Abstract : Modern computing platforms strive to support mobile code without putting system security at stake. These platforms can be viewed as open systems, as the mobile code adds new components to the running system. Establishing that such platforms function correctly can  be divided into two steps. READ MORE