Attacking Fair-Exchange Protocols - Parallel Models vs. Trace Models

Author： Aiello L.C.   Massacci F.  

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.55, Iss.1, 2004-01, pp. : 1-18

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

Limit dynamics for stochastic models of data exchange in parallel computation networks

By Malyshkin A.  

Problems of Information Transmission, Vol. 42, Iss. 3, 2006-09 ,pp. : 234-250

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Models and algorithms for fair layout optimization problems

By Fernandes Muritiba Albert  

Annals of Operations Research, Vol. 179, Iss. 1, 2010-09 ,pp. : 5-14

Springer Publishing Company

Access to resources Recommend Favorite

Designing parallel models of soil contamination by the CARPET language

By Spezzano G.   Talia D.  

Future Generation Computer Systems, Vol. 13, Iss. 4, 1998-03 ,pp. : 291-302

Elsevier

Access to resources Recommend Favorite

Synthesis of parallel recursive programs in structural functional models

By Novoseltsev V.  

Programming and Computer Software, Vol. 33, Iss. 5, 2007-09 ,pp. : 293-298

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

A unification-based approach to configure generic protocols into agent interaction models

By Quenum Jose Ghislain  

International Journal of Agent-Oriented Software Engineering, Vol. 4, Iss. 1, 2009-12 ,pp. : 32-78

Inderscience Publishers

Access to resources Recommend Favorite