Use of a formal description technique in the specification of authentication protocols
- 31 December 1990
- journal article
- Published by Elsevier in Computer Standards & Interfaces
- Vol. 9 (3) , 203-215
- https://doi.org/10.1016/0920-5489(89)90022-6
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985