Browsing Tesi di dottorato by Author "Bugliesi, Michele"

DSpace/Manakin Repository

Browsing Tesi di dottorato by Author "Bugliesi, Michele"

Sort by: Order: Results:

  • Casanova: a language for game development 
    Maggiore, Giuseppe <1985> (Università Ca' Foscari Venezia, 2013-04-19)
    In this work we present Casanova, a programming language. Its novelty lies in the fact that it was designed with an exclusive focus on making games. The goal of Casanova is to change the landscape of game development, ...
  • Efficient security analysis of administrative access control policies 
    Steffinlongo, Enrico <1987> (Università Ca' Foscari Venezia, 2018-03-05)
    In recent years access control has been a crucial aspect of computer systems, since it is the component responsible for giving users specific permissions enforcing a administrator-defined policy. This lead to the formation ...
  • Information extraction by type analysis 
    Spanò, Alvise <1977> (Università Ca' Foscari Venezia, 2013-04-19)
    This thesis investigates an alternative use of type reconstruction, as a tool for extracting knowledge from programs written in weakly typed language. We explore this avenue along two different, but related directions. In ...
  • Secure implementations of typed channel abstractions 
    Giunti, Marco <1973> (Università Ca' Foscari Venezia, 2007-03-01)
  • Static verification and enforcement of authorization policies 
    Calzavara, Stefano <1985> (Università Ca' Foscari Venezia, 2013-04-19)
    La tesi affronta il problema della verifica e dell'imposizione di politiche di autorizzazione tramite tecniche di analisi statica. I contributi principali sono tre: una semantica formale per grsecurity, che permette di ...
  • Verified security protocol modeling and implementation with AnBx 
    Modesti, Paolo <1966> (Università Ca' Foscari Venezia, 2012-03-12)
    AnBx is an extension of the Alice & Bob notation for protocol narrations to serve as a specification language for a purely declarative modelling of distributed protocols. AnBx is built around a set of communication and ...
  • Web session security : formal verification, client-side enforcement and experimental analysis 
    Khan, Wilayat <1982> (Università Ca' Foscari Venezia, 2015-02-13)
    Web applications are the dominant means to provide access to millions of on-line services and applications such as banking and e-commerce. To personalize users’ web experience, servers need to authenticate the users and ...