Sciweavers

2162 search results - page 22 / 433
» A Meta-Notation for Protocol Analysis
Sort
View
61
Voted
COCOON
1995
Springer
15 years 1 months ago
Analysis of Quorum-Based Protocols for Distributed (k+1)-Exclusion
Divyakant Agrawal, Ömer Egecioglu, Amr El Abb...
CSSE
2008
IEEE
14 years 11 months ago
Analysis on Cyclic Multi-party Fair Exchange Protocols
Xiangdong Li, Qingxian Wang, Li Chen