Toggle Main Menu Toggle Search

Open Access padlockePrints

A Comparison of the Conventional and Formal Design of a Secure System Component

Lookup NU author(s): Professor John Fitzgerald, Dr Peter Larsen


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Brookes TM, Green M, Fitzgerald JS, Larsen PG

Publication type: Article

Publication status: Published

Journal: FACS Europe Newsletter

Year: 1994

Volume: 1

Issue: 2

Print publication date: 01/01/1994

ISSN (print): 1361-3103

Publisher: British Computer Society Specialist Group in Formal Aspects of Computing Science (BCS FACS)