A rational approach to cryptographic protocols

This work initiates an analysis of several cryptographic protocols from a rational point of view using a game-theoretical approach, which allows us to represent not only the protocols but also possible misbehaviours of parties. Concretely, several concepts of two-person games and of two-party crypto...

Full description

Saved in:
Bibliographic Details
Published in:Mathematical and computer modelling 2007-07, Vol.46 (1), p.80-87
Main Authors: Caballero-Gil, P., Henández-Goya, C., Bruno-Castañeda, C.
Format: Article
Language:English
Subjects:
Algebra
Cryptography
Exact sciences and technology
Game theory
Mathematical analysis
Mathematics
Methods of scientific computing (including symbolic computation, algebraic computation)
Number theory
Numerical analysis. Scientific computation
Protocols verification
Sciences and techniques of general use
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This work initiates an analysis of several cryptographic protocols from a rational point of view using a game-theoretical approach, which allows us to represent not only the protocols but also possible misbehaviours of parties. Concretely, several concepts of two-person games and of two-party cryptographic protocols are here combined in order to model the latter as the former. One of the main advantages of analysing a cryptographic protocol in the game-theory setting is the possibility of describing improved and stronger cryptographic solutions because possible adversarial behaviours may be taken into account directly. With those tools, protocols can be studied in a malicious model in order to find equilibrium conditions that make possible to protect honest parties against all possible strategies of adversaries.
ISSN:0895-7177
1872-9479
DOI:10.1016/j.mcm.2006.12.013