Automated Protocol Verification in Linear Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Automated Protocol Verification in Linear Logic
|
| Id. |
47080369 |
| Idioma |
inglés
|
| Titulo |
Automated Protocol Verification in Linear Logic |
| Autor(es) |
Marco Bozzano
Giorgio Delzanno
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.7354
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
In this paper we investigate the applicability of a bottom-up evaluation strategy for a first order fragment of linear logic [7] for the purposes of automated validation of authentication protocols. Following [11], we use multi-conclusion clauses to represent the behaviour of agents in a protocol session, and we adopt the Dolev-Yao intruder model and related message and cryptographic assumptions. Also, we use universal quantification to provide a logical and clean way to express creation of nonces. Our approach is well suited to verify properties which can be specified by means of minimality conditions. Unlike traditional approaches based on model-checking, we can reason about parametric, infinite-state systems, thus we do not pose any limitation on the number of parallel runs of a given protocol. Furthermore, our approach can be used both to find attacks and to prove correctness of protocols. We present some preliminary experiments which we have carried out using the above approach.
|
| Palabras clave |
Linear Logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] null
[References] 10.1.1.115.3569
[References] 10.1.1.27.6385
[References] 10.1.1.31.5985
[References] 10.1.1.105.9987
[References] 10.1.1.25.1142
[References] 10.1.1.42.8561
[References] 10.1.1.106.6010
[References] 10.1.1.35.7958
[References] 10.1.1.51.7390
[References] 10.1.1.35.1244
[References] 10.1.1.32.4628
[References] 10.1.1.42.8749
[References] 10.1.1.108.1203
[References] 10.1.1.56.5086
[References] 10.1.1.21.1369
[References] 10.1.1.30.493
[References] 10.1.1.24.9974
[References] 10.1.1.113.2077
[References] 10.1.1.16.1884
[References] 10.1.1.83.4034
[References] 10.1.1.3.5373
[References] 10.1.1.122.3432
[References] 10.1.1.141.6495
[References] 10.1.1.141.6681
|
| Fecha de contribución |
24-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
