D. Trcek and B. J. Blazic. Formal language for security services base modelling and analysis. Computer Communications, 18(12):921--928, December 1995. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
A Simple Logic for Authentication Protocol Design - Buttyan, Staamann, Wilhelm (1998) (5 citations) (Correct)
....all of the problems treated in this paper. For instance, timeliness, which is fundamental in authentication protocols, is not addressed at all. How the channels are realised is out of the scope of the logic, although this is a very important issue. One can directly use the results of [18] and [23] for channel implementation. In these papers, channels are used to model security services. For each type of channel, a set of production rules, that describes how to establish that channel, is introduced. One can use these rules to implement our channels. Furthermore, a detailed treatment about ....
D. Trcek and B. J. Blazic. Formal language for security services base modelling and analysis. Computer Communications, 18(12):921--928, December 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC