Authentication and payment in future mobile systems

Authors:
Günther Horn;Bart Preneel
Affiliations:
Siemens AG, Corporate Technology, ZT IK 3, D-81730 München, Germany E-mail: guenther.horn@mchp.siemens.de;(Correspd.) Katholieke Universiteit Leuven, Dept. Electrical Engineering-ESAT, Kardinaal Mercierlaan 94, B-3001 Heverlee, Belgium E-mail: bart.preneel@esat.kuleuven.ac.be
Venue:
Journal of Computer Security
Year:
2000

Citing 0
Cited 5

Formal verification: an imperative step in the design of security protocols

Computer Networks: The International Journal of Computer and Telecommunications Networking
The concept of layered proving trees and its application to the automation of security protocol verification

ACM Transactions on Information and System Security (TISSEC)
Secure incentives for commercial ad dissemination in vehicular networks

Proceedings of the 8th ACM international symposium on Mobile ad hoc networking and computing
mFerio: the design and evaluation of a peer-to-peer mobile payment system

Proceedings of the 7th international conference on Mobile systems, applications, and services
A Generic Protocol for Controlling Access to Mobile Services

Proceedings of the 2005 conference on Applied Public Key Infrastructure: 4th International Workshop: IWAP 2005

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article presents an efficient public-key protocol for mutual authentication and key exchange designed for future mobile communications systems. The paper also demonstrates how a micropayment scheme can be integrated into the authentication protocol; this payment protocol allows for the provision of incontestable charging. The problem of establishing authenticated public keys through cross-certification is addressed.