Fairness Analysis for Multiparty Nonrepudiation Protocols Based on Improved Strand Space
Aimed at the problem of the fairness analysis for multiparty nonrepudiation protocols, a new formal analysis method based on improved strand space is presented. Based on the strand space theory, signature operation is added; the set of terms, the subterm relation and the set of penetrator traces are...
Na minha lista:
| Principais autores: | , , , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Wiley
2014-01-01
|
| coleção: | Discrete Dynamics in Nature and Society |
| Acesso em linha: | http://dx.doi.org/10.1155/2014/904717 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|