Methods for the Formal Treatment of Secure Systems
- 009 initial secure file service
- 017 Capabilities and Lattices
- 028 Security Models for Document Servers
- 031 Security model B
- 033 docs Security Models for Document Servers (pres)
- 035 Security Modelling in Z and HOL
- 043 "rbj contribution" NOV/DEC 86
- 044 Security Properties in Z and in HOL
- 045 Secure System Design in Z and in HOL
- 046 Formal proof of security in HOL
- 047 Formal Modelling of Secure Systems
- 049 Industrial Applications of Formal Methods (CU pres, Abstract and intro)
- 050 Proving properties of Secure Systems (pres)
- 062 proving problematic (pres)
- 073 lemmas about security properties
- 074 outline formal proof of non-flow property
- 077 Presentation to CESG JULY 87
- 106 OWR Appendix B
- 109 presentation to CESG
- 119 Quadrupartite meeting progress report.
- 145 SFS JULY 88 presentation
- 153 OWR September presentation
- 156 SFS mascot
- 159 presentation to APRIL 89 compusec meeting
- 160 presentation to BCS FACS MAY 89
- 166 schemas and security
- 167 methods for RSRE
- 174 OWR presentation
- 183 security modelling and formal methods tools
- 184 on the justification of formal methods
- 186 Presentation for MOD
- 187 Presentation for CTD3
- 190 BCS FACS refinement paper
- 192 a security proof using the ICL Z proof tool
- 193 formal treatment of MLS database (SWORD)
- 194 BCS FACS presentation
- 198 HOL version of BCS FACS paper
© 
created 1/7/95 modified 22/12/95
