Fairness analysis for multiparty nonrepudiation protocols based on improved strand space

DOI10.1155/2014/904717zbMath1419.68050OpenAlexW2056728561WikidataQ59038278 ScholiaQ59038278MaRDI QIDQ2321532

Ruiming Wang, Lei Li, Jing Chen, Zhi-Hong Zhang, Li-Cheng Wang

Publication date: 23 August 2019

Published in: Discrete Dynamics in Nature and Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2014/904717

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites Work

• Formal Verification of e-Auction Protocols
• Unnamed Item
• Unnamed Item

This page was built for publication: Fairness analysis for multiparty nonrepudiation protocols based on improved strand space