1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Opción 2: Descargar recurso

Opción 3: Descargar recurso

Detalles del recurso

Descripción

This paper provides an Angluin-style learning algorithm for a class of register automata supporting the notion of fresh data values. More specifically, we introduce session automata which are well suited for modeling protocols in which sessions using fresh values are of major interest, like in security protocols or ad-hoc networks. We show that session automata (i) have an expressiveness partly extending, partly reducing that of register automata, (ii) admit a symbolic regular representation, and (iii) have a decidable equivalence problem. We use these results to establish a learning algorithm that can infer inherently non-deterministic session automata. Moreover, in the case of deterministic automata, it has a better complexity wrt. membership queries than existing learning algorithms for register automata. We strengthen the importance of our automaton model by its characterization in monadic second-order logic.

Pertenece a

Archive EduTice a CCSD electronic archive server based on P.A.O.L  

Autor(es)

Bollig , Benedikt -  Habermehl , Peter -  Leucker , Martin -  Monmege , Benjamin - 

Id.: 71533837

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Palabras clave[ INFO.INFO -  FL ] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] - 

Tipo de recurso: info:eu-repo/semantics/report  -  Reports  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: info:eu-repo/semantics/OpenAccess

Requerimientos técnicos:  Browser: Any - 

Fecha de contribución: 14-jul-2018

Contacto:

Localización:
* hal-00743240

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.