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...
-д хадгалсан:
| Үндсэн зохиолчид: | , , , , |
|---|---|
| Формат: | Artigo |
| Хэл сонгох: | Inglês |
| Хэвлэсэн: |
Wiley
2014-01-01
|
| Цуврал: | Discrete Dynamics in Nature and Society |
| Онлайн хандалт: | http://dx.doi.org/10.1155/2014/904717 |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|