From DSS to MILS (extended abstract)
This was presented at a Festschrift in honor of Brian Randell on the
occasion of his 75th birthday.
The talk was the main thing (see below), but the paper
"Randell's Tales: a Festschrift
recognizing the contributions of Brian Randell", C.B. Jones
and J.L Lloyd (Eds.), Springer LNCS 6875, pp. 53--57, August 2011.
I outline the principal ideas of the Distributed Secure System (DSS)
on which Brian Randell and I collaborated in the early 1980s, its
modern manifestation as MILS, and continuing research challenges posed
by these architectures.
An Appreciation of Some of Brian
Randell's Contributions to Computer Security
Intro by John Lloyd and
vimeo video of slides and
voice only for an "Appreciation of some of Brian Randell's
Contributions to Computer Security" on the occasion of his 75th
birthday in May 2011.
Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page