- -

Listar por palabra clave "Sequential protocol composition"

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

Listar por palabra clave "Sequential protocol composition"

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
    Sequential protocol composition in Maude-NPA 
    Santiago Pinazo, Sonia (Universitat Politècnica de València, 2011-12-13)
    Protocols do not work alone, but together, one protocol relying on another to provide needed services. Many of the problems in cryptographic protocols arise when such composition is done incorrectly or is not well understood. ...