INDEX of PAPERS and PRESENTATIONS
- 009 initial secure file service
- 017 Capabilities and Lattices
- 020 Report on a Visit to North America
- 026 Comments on the Usability of Miranda
- 028 Security Models for Document Servers
- 029 Creative Foundations (pres)
- 030 The semantics of VDM
- 031 Security model B
- 032 Tutorial Notes on Z
- 033 docs Security Models for Document Servers (pres)
- 034 Foundations proposal
- 035 Security Modelling in Z and HOL
- 036 Proof theory in the VDM standard
- 037 A New Axiomatisation of the Theory of Restricted Generality
- 038 Problems with Z
- 039 Extending T37
- 040 The consistency of T37
- 041 translating Z into HOL
- 042 Recursive Data Types in 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
- 048 Problems in Logical Foundations for Computer Science
- 049 Industrial Applications of Formal Methods (CU pres, Abstract and intro)
- 050 Proving properties of Secure Systems (pres)
- 051 Recursive datatypes in HOL (temp extensions)
- 052 Recursive datatypes in HOL
- 053 A combinatory theory of partial functions
- 054 presentation at Cambridge Computer Labs
- 055 Supercombinators in SML
- 056 An sml scanner
- 057 KoKuSai HCI in sml
- 058 An sml parser
- 059 The Calculus of constructions in SML
- 060 translating syntax desriptions
- 061 the syntax of standard ML
- 062 proving problematic (pres)
- 063 parse trees to abstract syntax
- 064 parse trees to abstract syntax/2
- 065 the abstract syntax of Miranda in Miranda
- 066 the environment of standard ML
- 068 translating sml modules to abstract syntax
- 069 Notes on the VDM type model
- 070 the abstract syntax of VDM in SML
- 071 The Concrete Syntax of VDM
- 072 LPF in SML
- 073 lemmas about security properties
- 074 outline formal proof of non-flow property
- 075 ZF in SML
- 076 Combinatory Type-Theory in HOL
- 077 Presentation to CESG JULY 87
- 078 VDM Europe Minutes JUNE 87
- 079 BSI VDM Minutes JUNE 87
- 080 a PCA for the type of types
- 081 IPSE 2.5 proposal
- 082 Reflexive Semantic Domains for VDM
- 083 supplimentary arithmetic
- 084 arith tacs
- 085 UST in SML
- 086 Z and HOL
- 087 HST
- 088 local latex
- 089 BSI VDM Sept Pres
- 090 BSI VDM Minutes JUNE 87
- 091 BSI VDM Panel Addresses
- 092 BSI VDM Sep29 call
- 093 kentrikos notes
- 094 type model and proof theory
- 095 reflexive foundations
- 096 Keele presentation
- 097 BSI VDM Oct mins
- 098 Layering Framework
- 099 The semantics of Xi
- 100 Church's type theory defined in SML
- 101 addresses for HOL course
- 102 letter to course participants
- 106 OWR Appendix B
- 107 BSI VDM Dec mins
- 108 Structuring for VDM
- 109 presentation to CESG
- 110 Structured Function Theory in SML
- 111 VDM-88 Feb Minutes
- 112 BSI notes Feb
- 113 STC TP Pres
- 114 BSI VDM Feb Minutes
- 115 VDM-88 programme committee addresses
- 116 UST/2
- 117 HOL/Security issues addresses
- 118 HOL/Security issues letter
- 119 Quadrupartite meeting progress report.
- 120 ZF in HOL part 1
- 121 BQM types in HOL
- 122 ZF in HOL part 2
- 123 PF in HOL
- 124 VDM88 April minutes
- 125 understanding Z notes
- 126 understanding Z review
- 127 Oxford presentation
- 128 PF in HOL part 2
- 129 PF in HOL part 3
- 130 PF in HOL summary
- 131 Formal Methods (a note)
- 132 pretty supplimentary arithmetic
- 133 category theory (definitions)
- 134 category theory (proofs)
- 135 the category of pure categories
- 136 polymorphic pure functions
- 137 structured polymorphic functions
- 138 zf(part 1) 120 in HOL88 infra
- 139 zf(part 2) 122 in HOL88 infra
- 140 PF(part 1) 123 in HOL88 infra
- 141 PF(part 2) 128 in HOL88 infra
- 142 PF(part 3) 129 in HOL88 infra
- 143 PF(part 4) 130 in HOL88 infra
- 144 function spaces
- 145 SFS JULY 88 presentation
- 146 VDM modules in SPF
- 147 VDM types in SPF
- 148 proving false in HOL
- 149 BSI VDM88 presentation
- 150 hol in hol
- 151 consolidated theories
- 152 abstract syntax for SPF
- 153 OWR September presentation
- 154 new rewrites
- 155 turing machines
- 156 SFS mascot
- 157 symtab
- 158 reflexive foundations in ZFHOL
- 159 presentation to APRIL 89 compusec meeting
- 160 presentation to BCS FACS MAY 89
- 161 church-rosser
- 163 zf3
- 164 ptroff version of consolidated theories
- 165 category theory
- 166 schemas and security
- 167 methods for RSRE
- 168 M5 panel presentation
- 169 ICL HOL (for HOL user meeting 89)
- 170 compusec FEB 90
- 171 research proposal (high assurance)
- 172 presentation (high assurance)
- 174 OWR presentation
- 175 IED ZHOL presentation
- 176 Z concrete syntax
- 177 HAT Organisation
- 178 ZHOL presentation (II)
- 179 ied strategy discussion
- 180 remarks on the semantics of Z
- 181 review of Diller
- 182 Z semantics and proof FM forum presentation
- 183 security modelling and formal methods tools
- 184 on the justification of formal methods
- 185 Z - semantics, rules, tools - an update
- 186 Presentation for MOD
- 187 Presentation for CTD3
- 188 Presentation for Fujitsu
- 189 Comments on Z standard
- 190 BCS FACS refinement paper
- 191 presentation at FST quarterly OCT91
- 192 a security proof using the ICL Z proof tool
- 193 formal treatment of MLS database (SWORD)
- 194 BCS FACS presentation
- 195 ProofPower
- 196 FST exploitation (presentation)
- 197 Cambridge (May 14 presentation)
- 198 HOL version of BCS FACS paper
- 199 Ramsey's Theorem
© Roger Bishop Jones; created 1/7/95; modified 1/7/95