- -

Listar por palabra clave "Security protocols"

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

Listar por palabra clave "Security protocols"

Ordenar por:Orden:Resultados:

  • thumb
    Modeling and Analysis of Advanced Cryptographic Primitives and Security Protocols in Maude-NPA 
    Aparicio Sánchez, Damián (Universitat Politècnica de València, 2022-12-23)
    [ES] La herramienta criptográfica Maude-NPA es un verificador de modelos especializado para protocolos de seguridad criptográficos que tienen en cuenta las propiedades algebraicas de un sistema criptográfico. En la literatura, ...
  • thumb
    Narrowing and Unification in the Maude Programming Language 
    López Rueda, Raúl (Universitat Politècnica de València, 2021-10-06)
    [ES] Los protocolos de seguridad en las comunicaciones evolucionan cada día buscando mejoras y corrección de errores, muchos de los cuales pueden llevar a vulnerabilidades con consecuencias fatales. Por ello, se vuelve de ...
  • thumb
    The Timed Concurrent Constraint language in practice 
    Lescaylle Daudinot, Alexei (Universitat Politècnica de València, 2012-01-24)
    We propose the tccp language for the specification and verification of security protocols. We study the relation between tccp and utcc by presenting a transformation from utcc into tccp that formally states the relation ...