- -

Listar por palabra clave "Análisis y verificación"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Análisis y verificación"

Ordenar por:Orden:Resultados:

  • thumb
    Formal Modeling of Security Policies for Mobile Access Solutions 
    Roselló Gil, Guillermo (Universitat Politècnica de València, 2017-10-30)
    [EN] Current technology allows us to have a great deal of computation power in the palm of our hand in the form of smartphones. Such powerful and versatile devices are the perfect tools to, e.g., authenticate users in ...