A logic of authentication/
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
California:
Digital Systems Research Center,
c1989
|
| Series: | Digital Systems Research Center reports ;
39 |
| Subjects: |
| Item Description: | This report is a major extension of "Authentication: a practical study in belief and action," which appeared in proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, Los Altos, California, 1988 |
|---|---|
| Physical Description: | 48 p. : tab., diagr., ill. ; 28 cm. |
| Bibliography: | Includes bibliographical references |