DocumentCode
273774
Title
Modelling security aspects of a Message Handling System in LOTOS
Author
Black, S. ; Calvelli, C. ; Varadharajan, V.
fYear
1989
fDate
3-6 Jul 1989
Firstpage
81
Lastpage
85
Abstract
Describes the formal specification of the security aspects of a Message Handling System (MHS). The authors chose the international standard formal description technique LOTOS to describe this system. The actual system being modelled, called LOCATOR, is a secure mobile MHS, and was developed within the UK´s Alvey programme. They outline the MHS, the security services, and describe the modelling of these services in LOTOS
fLanguage
English
Publisher
iet
Conference_Titel
Software Engineering for Telecommunication Switching Systems, 1989. SETSS 89., Seventh International Conference on
Conference_Location
Bournemouth
Print_ISBN
0-85296-381-5
Type
conf
Filename
41852
Link To Document