DocumentCode
923680
Title
Security architectures using formal methods
Author
Boyd, Colin
Author_Institution
Electr. Eng. Lab., Manchester Univ., UK
Volume
11
Issue
5
fYear
1993
fDate
6/1/1993 12:00:00 AM
Firstpage
694
Lastpage
701
Abstract
A model describing secure communications architectures is developed using the formal language Z. The model is based on fundamental cryptographic properties. Some basic constraints are derived for the design of secure architectures which allow problems to be identified prior to the design of security protocols. A simple criterion is derived for ensuring that all pairs of users can set up secure communications channels
Keywords
cryptography; formal languages; protocols; cryptography; formal language Z; formal methods; secure communications architectures; secure communications channels; security protocols; Algorithm design and analysis; Authentication; Communication channels; Communication system security; Cryptographic protocols; Cryptography; Formal languages; Logic; Modems; Production;
fLanguage
English
Journal_Title
Selected Areas in Communications, IEEE Journal on
Publisher
ieee
ISSN
0733-8716
Type
jour
DOI
10.1109/49.223872
Filename
223872
Link To Document