Modelling security aspects of a message handling system in LOTOS

S. Black*, C. Calvelli, V. Varadharajan

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


This paper describes the formal specification of the security aspects of a Message Handling System (MHS). We 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 U.K.'s Alvey programme. Here we outline the MHS, the security services, and describe the modelling of these services in LOTOS.

Original languageEnglish
Pages (from-to)81-85
Number of pages5
JournalIEE Conference Publication
Issue number306
Publication statusPublished - 1989
Externally publishedYes


Dive into the research topics of 'Modelling security aspects of a message handling system in LOTOS'. Together they form a unique fingerprint.

Cite this