- -

Protocol analysis modulo combination of theories: A case study in Maude-NPA

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Protocol analysis modulo combination of theories: A case study in Maude-NPA

Show full item record

Sasse, R.; Escobar Román, S.; Meadows, C.; Meseguer, J. (2011). Protocol analysis modulo combination of theories: A case study in Maude-NPA. En Security and Trust Management. Springer Verlag (Germany). 6710:163-178. doi:10.1007/978-3-642-22444-7_11

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/35906

Files in this item

Item Metadata

Title: Protocol analysis modulo combination of theories: A case study in Maude-NPA
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
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 ...[+]
Subjects: Cryptographic protocol verification , Equational unification , Exclusive or , Narrowing , Variants
Copyrigths: Reserva de todos los derechos
ISBN: 978-3-642-22443-0
Source:
Security and Trust Management. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-22444-7_11
Publisher:
Springer Verlag (Germany)
Publisher version: http://link.springer.com/chapter/10.1007/978-3-642-22444-7_11
Conference name: 6th International Workshop, STM 2010
Conference place: Athens, Greece
Conference date: September 23-24, 2010
Series: Lecture Notes in Computer Science;vol. 6710
Type: Capítulo de libro

This item appears in the following Collection(s)

Show full item record