A critique of the Burrows, Abadi and Needham logic

Publisher Website

1 April 1990

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGOPS Operating Systems Review

Vol. 24 (2), 35-38
https://doi.org/10.1145/382258.382789

Abstract

No abstract available

Keywords

NEEDHAM LOGIC

This publication has 2 references indexed in Scilit:

A logic of authentication
Published by Association for Computing Machinery (ACM) ,1989
Factors Affecting Distributed System Security
IEEE Transactions on Software Engineering, 1987

Cited by 82 articles