Abstract
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 language | English |
|---|---|
| Pages (from-to) | 81-85 |
| Number of pages | 5 |
| Journal | IEE Conference Publication |
| Issue number | 306 |
| Publication status | Published - 1989 |
| Externally published | Yes |