On message recognition protocols: recoverability and explicit confirmation

Author： Goldberg Ian  

Publisher： Inderscience Publishers

ISSN： 1753-0563

Source： International Journal of Applied Cryptography, Vol.2, Iss.2, 2010-01, pp. : 100-120

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Realizability of Conversation Protocols with Message Contents

By  

International Journal of Web Services Research (IJWSR), Vol. 2, Iss. 4, 2005-10 ,pp. : 68-93

IGI Global_journal

Access to resources Recommend Favorite

High-performance message striping over reliable transport protocols

By Mohamed Nader   Al-Jaroodi Jameela   Jiang Hong   Swanson David  

The Journal of Supercomputing, Vol. 38, Iss. 3, 2006-12 ,pp. : 261-278

Springer Publishing Company

Access to resources Recommend Favorite

Finite-State Self-Stabilizing Protocols in Message-Passing Systems

By Howell R.R.   Nesterenko M.   Mizuno M.  

Journal of Parallel and Distributed Computing, Vol. 62, Iss. 5, 2002-05 ,pp. : 792-817

Academic Press

Access to resources Recommend Favorite

Directed explicit-state model checking in the validation of communication protocols

By Edelkamp Stefan   Leue Stefan   Lluch-Lafuente Alberto  

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 2-3, 2004-03 ,pp. : 247-267

Springer Publishing Company

Access to resources Recommend Favorite

Strategy for Verifying Security Protocols with Unbounded Message Size: Special Section on Automated Verification of Infinite-State Systems

By Chevalier Y.  

Automated Software Engineering, Vol. 11, Iss. 2, 2004-04 ,pp. : 141-166

Springer Publishing Company

Access to resources Recommend Favorite