Publications
Items where Author is "Lovering, A"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Report/Guide
Number of items: 2.
Report/Guide
Lovering, A (1995) Formal methods, structured techniques, and security - A unified methodology. NPL Report. DITC 235/95
Lovering, A (1993) Issues in using formal methods for specifying security systems. NPL Report. DITC 224/93