Sciweavers

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