Authentication schemes from actions on graphs, groups, or rings

Annals of Pure and Applied Logic 162 (3):194-200 (2010)
  Copy   BIBTEX

Abstract

We propose a couple of general ways of constructing authentication schemes from actions of a semigroup on a set, without exploiting any specific algebraic properties of the set acted upon. Then we give several concrete realizations of this general idea, and in particular, we describe several authentication schemes with long-term private keys where forgery is NP-hard. Computationally hard problems that can be employed in these realizations include the Graph Colorability problem, the Diophantine problem, and many others

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A hierarchy of tree-automatic structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-368.
Diophantine equivalence and countable rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.
Model companion and model completion of theories of rings.Claude Sureson - 2009 - Archive for Mathematical Logic 48 (5):403-420.
Story Similarity in Arguments from Analogy.Douglas Walton - 2012 - Informal Logic 32 (2):190-221.
Completely metrisable groups acting on trees.Christian Rosendal - 2011 - Journal of Symbolic Logic 76 (3):1005 - 1022.
On enveloping type-definable structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
Biometrics: body odor authentication perception and acceptance.Martin D. Gibbs - 2010 - Acm Sigcas Computers and Society 40 (4):16-24.
The Ontology of Collective Action.Kirk Ludwig - 2014 - In Sara Chant Frank Hindriks & Gerhard Preyer (eds.), From Individual to Collective Intentionality: New Essays. Oxford University Press.
Expansions of Ultrahomogeneous Graphs.J. E. Helmreich - 1995 - Notre Dame Journal of Formal Logic 36 (3):414-424.
Quasi-endomorphisms in small stable groups.Frank O. Wagner - 1993 - Journal of Symbolic Logic 58 (3):1044-1051.

Analytics

Added to PP
2013-12-18

Downloads
29 (#474,441)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references