Lampson, Butler Practical principles for computer security. (English) Zbl 1135.68306 Broy, Manfred (ed.) et al., Software system reliability and security. Proceedings of the NATO Advanced Research Institute on software system reliability and security, Marktoberndorf, Germany, August 1–13, 2006. Amsterdam: IOS Press (ISBN 978-1-58603-731-4/hbk). NATO Security through Science Series. D: Information and Communication Security 9, 151-195 (2007). MSC: 68M01 PDFBibTeX XMLCite \textit{B. Lampson}, in: Software system reliability and security. Proceedings of the NATO Advanced Research Institute on software system reliability and security, Marktoberndorf, Germany, August 1--13, 2006. Amsterdam: IOS Press. 151--195 (2007; Zbl 1135.68306)
Prisco, R. D.; Lampson, B.; Lynch, N. Revisiting the PAXOS algorithm. (English) Zbl 0944.68102 Theor. Comput. Sci. 243, No. 1-2, 35-91 (2000). MSC: 68Q45 PDFBibTeX XMLCite \textit{R. D. Prisco} et al., Theor. Comput. Sci. 243, No. 1--2, 35--91 (2000; Zbl 0944.68102) Full Text: DOI
Abadi, Martín; Lampson, Butler; Lévy, Jean-Jacques Analysis and caching of dependencies. (English) Zbl 1344.68046 Wexelblat, Richard L. (ed.), Proceedings of the 1st ACM SIGPLAN international conference on functional programming, ICFP ’96, Philadelphia, PA, USA, May 24–26, 1996. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-770-7). ACM SIGPLAN Notices 31, No. 6, 83-91 (1996). MSC: 68N18 PDFBibTeX XMLCite \textit{M. Abadi} et al., in: Proceedings of the 1st ACM SIGPLAN international conference on functional programming, ICFP '96, Philadelphia, PA, USA, May 24--26, 1996. New York, NY: Association for Computing Machinery (ACM). 83--91 (1996; Zbl 1344.68046) Full Text: DOI
Abadi, Martin; Burrows, M.; Kaufman, C.; Lampson, B. Authentication and delegation with smart-cards. (English) Zbl 0809.68064 Sci. Comput. Program. 21, No. 2, 93-113 (1993). MSC: 68P25 PDFBibTeX XMLCite \textit{M. Abadi} et al., Sci. Comput. Program. 21, No. 2, 93--113 (1993; Zbl 0809.68064) Full Text: DOI
Abadi, M.; Burrows, M.; Kaufman, C.; Lampson, B. Authentication and delegation with smart-cards. (English) Zbl 1493.68040 Ito, Takayasu (ed.) et al., Theoretical aspects of computer software. International conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 526, 326-345 (1991). MSC: 68M25 68P25 94A60 94A62 PDFBibTeX XMLCite \textit{M. Abadi} et al., Lect. Notes Comput. Sci. 526, 326--345 (1991; Zbl 1493.68040) Full Text: DOI
Lampson, B.; Burstall, R. Pebble, a kernel language for modules and abstract data types. (English) Zbl 0646.68018 Inf. Comput. 76, No. 2-3, 278-346 (1988). MSC: 68P05 03B40 PDFBibTeX XMLCite \textit{B. Lampson} and \textit{R. Burstall}, Inf. Comput. 76, No. 2--3, 278--346 (1988; Zbl 0646.68018) Full Text: DOI
Burstall, R.; Lampson, B. A kernel language for abstract data types and modules. (English) Zbl 0552.68009 Semantics of data types, Proc. int. Symp., Sophia-Antipolis/France 1984, Lect. Notes Comput. Sci. 173, 1-50 (1984). MSC: 68P05 03B40 PDFBibTeX XML
London, R. L.; Guttag, J. V.; Horning, J. J.; Lampson, B. W.; Mitchell, J. G.; Popek, G. J. Proof rules for the programming language Euclid. (English) Zbl 0399.68011 Program construction, int. Summer Sch., Marktoberdorf 1978, Lect. Notes Comput. Sci. 69, 133-163 (1979). MSC: 68N01 68Q60 PDFBibTeX XML
London, R. L.; Guttag, J. V.; Horning, J. J.; Lampson, B. W.; Mitchell, J. G.; Popek, G. J. Proof rules for the programming language Euclid. (English) Zbl 0385.68009 Acta Inf. 10, 1-26 (1978). MSC: 68N01 PDFBibTeX XMLCite \textit{R. L. London} et al., Acta Inf. 10, 1--26 (1978; Zbl 0385.68009) Full Text: DOI
Lampson, Butler W. Redundancy and robustness in memory protection. (English) Zbl 0296.68065 Inform. Processing 74, Proc. IFIP Congr. 74, Stockholm, 128-132 (1974). MSC: 68Q45 68N01 PDFBibTeX XML
Lampson, B. W. An open operating system for a single-user machine. (English) Zbl 0295.68024 Operating Syst., Proc. internat. Symp. Rocquencourt, Lecture Notes Computer Sci. 16, 208-217 (1974). MSC: 68N01 68Q45 PDFBibTeX XML
Lampson, B. W.; Mitchell, J. G.; Satterthwaite, E. H. On the transfer of control between contexts. (English) Zbl 0293.68019 Programming Symp., Proc. Colloque Paris, Lecture Notes Computer Sci. 19, 181-203 (1974). MSC: 68N01 PDFBibTeX XML
Lampson, B. W. A scheduling philosophy for multiprocessing systems. (English) Zbl 0165.18701 Commun. ACM 11, 347-360 (1968). PDFBibTeX XMLCite \textit{B. W. Lampson}, Commun. ACM 11, 347--360 (1968; Zbl 0165.18701) Full Text: DOI