𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A comparison of three authentication properties

✍ Scribed by Riccardo Focardi; Roberto Gorrieri; Fabio Martinelli


Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
365 KB
Volume
291
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis


Authentication is a slippery security property that has been formally deΓΏned only recently; among the recent deΓΏnitions, two rather interesting ones have been proposed for the spi-calculus by (Abadi and Gordon


πŸ“œ SIMILAR VOLUMES


A Monte Carlo study of the inferential p
✍ Coward, W. Mark; McConathy, Deirdre πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 44 KB πŸ‘ 2 views

Three inferential morphometric methods, Euclidean distance matrix analysis (EDMA), Bookstein's edge-matching method (EMM), and the Procrustes method, were applied to facial landmark data. A Monte Carlo simulation was conducted with three sample sizes, ranging from n = 10 to 50, to assess type I erro

Strategic implementation: a comparison o
✍ Neil Ritson; Maureen O'Neill πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 115 KB

## Abstract This paper presents the outcomes of a live consultancy project. Since the introduction of performance measures, much of the public sector has found itself having to change. It must find a way to introduce effective change to achieve the targets it is set. The quasi‐experimental empiric

A comparison of three non-linear filters
✍ R.P. Wishner; J.A. Tabaczynski; M. Athans πŸ“‚ Article πŸ“… 1969 πŸ› Elsevier Science 🌐 English βš– 794 KB

This paper examines three distinct methods for the recursive estimation of the state variables of a continuous time non-linear plant on the basis of measuring the time discrete outputs of the plant in the presence of noise. Summary--This paper examines three distinct methods for the recursive estim