Use of a formal description technique in the specification of authentication protocols

Authors:
Vijay Varadharajan
Affiliations:
-
Venue:
Computer Standards & Interfaces
Year:
1990

Citing 0
Cited 2

Model-Based Verification of a Security Protocol for Conditional Access to Services

Formal Methods in System Design
A new logic for electronic commerce protocols

Theoretical Computer Science - Special issue: Algebraic methodology and software technology

Quantified Score

Hi-index	0.00

Visualization

Abstract