RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Subscriber Authentication Point

EDPS Account

Search

A proof of protocol correctness

J. Pachl

RAIRO-Theor. Inf. Appl., 28 3-4 (1994) 213-220

Published online: 03 February 2017

DOI: 10.1051/ita/1994283-402131

This search tool will display articles in our database by authors of the selected article:

Select your author(s):

J. Pachl

Search method:

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)