A security imbedded authentication protocol

doi:10.1109/INFCOM.1988.13029

Proceedings Article10.1109/INFCOM.1988.13029

A security imbedded authentication protocol

R. Karri

- 27 Mar 1988

- pp 1105-1109

7

TL;DR: A Petri-net model of the Protocol is presented to verify that the protocol is correct and deadlock-free and a authentication protocol with security imbedded into it is reported.

Chat with Paper

AI Agents for this Paper

Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps

Citations

Patent

Deterministic user authentication service for communication network

Michael E. See, +4 more

- 21 Jun 2001

TL;DR: A user authentication service for a communication network authenticates local users before granting them access to personalized sets of network resources as discussed by the authors, where authentication agents on intelligent edge devices present users of associated end systems with log-in challenges.

...read moreread less

275

Patent

Method and apparatus for authentication of client server communication

Kevin W. Kingdon

- 02 Nov 1993

TL;DR: In this article, a method and apparatus for message packet authentication to prevent the forging of message packets is presented, where a portion of the message digest, referred to as the signature, is then appended to the actual message when it is sent over the wire.

...read moreread less

160

Patent

Document controlled workflow systems and methods

David G. Stork, +1 more

- 20 Sep 2001

TL;DR: In this paper, the author of a document can customize a document controlled workflow system by entering a control code into a document that triggers the implementation of operations customized to that particular document at a refinable place in the document workflow system.

...read moreread less

81

Patent

Method for obtaining a securitized cleartext attestation in a distributed data processing system environment

Denis Pinkas, +1 more

- 09 May 1991

TL;DR: In this article, a method for obtaining at least one securitized cleartext attestation by a requestor subject coupled to a data processing system and communicating with each other through a network is presented.

...read moreread less

60

•Journal Article

Authentication Protocols for Computer Networks: I.

Deepinder P. Sidhu

- 01 Jan 1986

- Computer Networks

TL;DR: In this paper, the authors apply state machine modeling and analysis techniques to determine important properties of encryption-based protocols including completeness, deadlock freeness, livelock or tempo-blocking freenness, termination, boundedness, and absence of non-executable interactions.

...read moreread less

13

References

•Journal Article•10.1109/PROC.1979.11256

Privacy and authentication: An introduction to cryptography

Whitfield Diffie, +1 more

- 01 Mar 1979

TL;DR: The basic information theoretic and computational properties of classical and modern cryptographic systems are presented, followed by cryptanalytic examination of several important systems and an examination of the application of cryptography to the security of timesharing systems and computer networks.

...read moreread less

596

Journal Article•10.1016/0169-7552(86)90004-8

Authentication protocols for computer networks: I

Deepinder P. Sidhu

- 01 Apr 1986

- Computer Networks and Isdn Systems

TL;DR: In this paper, the authors apply state machine modeling and analysis techniques to determine important properties of encryption-based protocols including completeness, deadlock freeness, livelock or tempo-blocking freenness, termination, boundedness, and absence of non-executable interactions.

...read moreread less

24

•Journal Article

Authentication Protocols for Computer Networks: I.

Deepinder P. Sidhu

- 01 Jan 1986

- Computer Networks

TL;DR: In this paper, the authors apply state machine modeling and analysis techniques to determine important properties of encryption-based protocols including completeness, deadlock freeness, livelock or tempo-blocking freenness, termination, boundedness, and absence of non-executable interactions.

...read moreread less

13

Book Chapter•10.1007/3-540-15204-0_7

Petri net based models for the specification and validation of protocols

Michel Diaz, +1 more

- 01 Jan 1985

TL;DR: The main interest which comes from the use of state based approaches is their easy acceptance by users and their ability to be understood in a rather short time.

...read moreread less

12