Modelling security aspects of a message handling system in LOTOS

S. Black; C. Calvelli; V. Varadharajan

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 journal › Article › peer-review

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

Cite this

@article{de653cc4a13d41c98f456dbee0bd17d5,

title = "Modelling security aspects of a message handling system in LOTOS",

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.",

author = "S. Black and C. Calvelli and V. Varadharajan",

year = "1989",

language = "English",

pages = "81--85",

journal = "IEE Conference Publication",

issn = "0537-9989",

publisher = "Institution of Engineering and Technology",

number = "306",

}

TY - JOUR

T1 - Modelling security aspects of a message handling system in LOTOS

AU - Black, S.

AU - Calvelli, C.

AU - Varadharajan, V.

PY - 1989

Y1 - 1989

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0024861553

M3 - Article

AN - SCOPUS:0024861553

SN - 0537-9989

SP - 81

EP - 85

JO - IEE Conference Publication

JF - IEE Conference Publication

IS - 306

ER -

Modelling security aspects of a message handling system in LOTOS

Abstract

Other files and links

Fingerprint

Cite this