G. Bella and E. Riccobene. Formal analysis of the Kerberos authentification system. Journal of Universal Computer Science (J.UCS), 1997. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Programmer Friendly Modular Definition of the Semantics of.. - Börger, Schulte (1997) (2 citations) (Correct)
....concept for such a modeling technique. ASMs have been successfully used to model the semantics and implementation of programming languages as different as Prolog [11, 12] Occam[7, 6] VHDL [8] C [37] and others. Furthermore, ASMs are effective in modeling architectures [5, 9] protocols [22, 2], control software [4, 10] and by being amenable to execution (see for an ASM interpreter [18] they can be used for high level validation. See [3] for a survey. ASMs have a simple mathematical foundation [21] which justifies their intuitive understanding as pseudo code over abstract data so ....
G. Bella and E. Riccobene. Formal analysis of the Kerberos authentification system. Journal of Universal Computer Science (J.UCS), 1997.
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