FORMAL LANGUAGE FOR SECURITY SERVICES BASE MODELING AND ANALYSIS

A language for security services base modelling is developed and prese nted. The security services base is defined according to security mech anisms defined in the OSI security framework. Elements of this base ar e modelled with corresponding channels. For each channel, a set of pro ductions is introduced which form a grammar of a language. The languag e is suitable for formal synthesis and analysis of secure architecture s. The method presented in this paper is not limited to cryptographic algorithms; any other security mechanisms can also be incorporated. Fu rthermore, the method can be used easily for machine processing.