Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.46, Iss.3-4, 2011-04, pp. : 293-323

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

OpenCL performance portability for general‐purpose computation on graphics processor units: an exploration on cryptographic primitives

CONCURRENCY AND COMPUTATION: PRACTICE & EXPERIENCE (ELECTRONIC), Vol. 27, Iss. 14, 2015-09 ,pp. : 3633-3660

John Wiley & Sons Inc

Access to resources Recommend Favorite

Encoding transition systems in sequent calculus

By McDowell R. Miller D. Palamidessi C.

Theoretical Computer Science, Vol. 294, Iss. 3, 2003-02 ,pp. : 411-437

Elsevier

Access to resources Recommend Favorite

Encoding Distributed Areas and Local Communication into the -Calculus

By Chothia T. Stark I.

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 1, 2004-01 ,pp. : 1-19

Elsevier

Access to resources Recommend Favorite

A logical encoding of the π-calculus: model checking mobile processes using tabled resolution

By Yang Ping Ramakrishnan C.R. Smolka Scott A.

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 1, 2004-07 ,pp. : 38-66

Springer Publishing Company

Access to resources Recommend Favorite

Primitives for authentication in process algebras

By Bodei C. Degano P. Focardi R. Priami C.

Theoretical Computer Science, Vol. 283, Iss. 2, 2002-06 ,pp. : 271-304

Elsevier

Access to resources Recommend Favorite