Research: Formal language for security services base modelling and analysis

Authors:
Denis Trek;Borka Jerman Blai
Affiliations:
`Joef Stefan Institute, Jamova 39, 61 111 Ljubljana, Slovenia;`Joef Stefan Institute, Jamova 39, 61 111 Ljubljana, Slovenia
Venue:
Computer Communications
Year:
1995

Citing 4
Cited 0

A logic of authentication

ACM Transactions on Computer Systems (TOCS)
A method for obtaining digital signatures and public-key cryptosystems

Communications of the ACM
Security architectures using formal methods

IEEE Journal on Selected Areas in Communications
Analyzing encryption protocols using formal verification techniques

IEEE Journal on Selected Areas in Communications

Quantified Score

Hi-index	0.24

Visualization

Abstract

A language for security services base modelling is developed and presented. The security services base is defined according to security mechanisms defined in the OSI security framework. Elements of this base are modelled with corresponding channels. For each channel, a set of productions is introduced which form a grammar of a language. The language is suitable for formal synthesis and analysis of secure architectures. The method presented in this paper is not limited to cryptographic algorithms; any other security mechanisms can also be incorporated. Furthermore, the method can be used easily for machine processing.