- -

Listar por palabra clave "Equational unification"

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

Listar por palabra clave "Equational unification"

Ordenar por:Orden:Resultados:

  • thumb
    Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA 
    Santiago Pinazo, Sonia (Universitat Politècnica de València, 2015-03-31)
    The area of formal analysis of cryptographic protocols has been an active one since the mid 80’s. The idea is to verify communication protocols that use encryption to guarantee secrecy and that use authentication of data ...
  • thumb
    Extensiones a la comprobación de satisfacibilidad de restricciones 
    Viciano Negre, Pablo (Universitat Politècnica de València, 2012-11-29)
    [ES] En esta tesina de máster se estudia la satisfacibilidad de fórmulas en la aritmética Presburger para el lenguaje de programación de alto rendimiento Maude y cómo se pueden extender estos algoritmos a modelos que ...
  • thumb
    Folding variant narrowing and optimal variant termination 
    Escobar Román, Santiago; Sasse, Ralf; Meseguer, José (Elsevier, 2012-11)
    Automated reasoning modulo an equational theory E is a fundamental technique in many applications. If E can be split as a disjoint union E u Ax in such a way that E is confluent, terminating, sort-decreasing, and coherent ...
  • 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
    Protocol analysis modulo combination of theories: A case study in Maude-NPA 
    Sasse, Ralf; Escobar Román, Santiago; Meadows, Catherine; Meseguer, José (Springer Verlag (Germany), 2011)
    There is a growing interest in formal methods and tools to analyze cryptographic protocols modulo algebraic properties of their underlying cryptographic functions. It is well-known that an intruder who uses algebraic ...
  • thumb
    Symbolic Analysis of Maude Theories with Narval 
    Alpuente Frasnedo, María; Escobar Román, Santiago; Sapiña-Sanchis, Julia; Ballis, Demis (Cambridge University Press, 2019-09)
    [EN] Concurrent functional languages that are endowed with symbolic reasoning capabilities such as Maude offer a high-level, elegant, and efficient approach to programming and analyzing complex, highly nondeterministic ...